Trace number 3753638

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topDown (fixed)? (TO) 1800.05 1790.72

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-66-100-0.wbo
MD5SUM0e6c262e00c2bafdec71b4c92c644f07
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark80
Best CPU time to get the best result obtained on this benchmark0.469928
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints28
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 1415
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 1414
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1248
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.03	c run usual solver
9.87/9.91	o 1293
20.26/20.41	o 1200
30.69/30.82	o 1199
41.00/41.15	o 1164
51.25/51.39	o 1163
61.64/61.79	o 1114
71.91/72.05	o 1113
82.34/82.44	o 1078
92.70/92.85	o 1077
102.80/102.96	o 1060
112.95/113.11	o 1059
123.36/123.52	o 1024
133.86/134.02	o 1023
144.10/144.27	o 988
154.34/154.49	o 987
164.68/164.84	o 970
175.07/175.23	o 969
185.42/185.58	o 934
195.62/195.70	o 933
205.94/206.11	o 928
216.14/216.30	o 927
226.40/226.60	o 910
236.78/236.99	o 909
247.30/247.50	o 904
257.63/257.82	o 903
267.92/268.11	o 869
278.17/278.39	o 868
288.58/288.77	o 863
299.05/299.25	o 862
309.29/309.50	o 845
319.39/319.60	o 844
329.66/329.87	o 839
340.10/340.30	o 838
350.52/350.74	o 820
360.64/360.85	o 819
370.83/371.06	o 814
381.24/381.49	o 813
391.62/391.85	o 796
402.04/402.27	o 795
412.12/412.35	o 790
422.56/422.80	o 789
433.04/433.29	o 771
443.11/443.35	o 770
453.39/453.63	o 765
463.42/463.67	o 764
473.91/474.18	o 747
484.33/484.57	o 746
494.51/494.79	o 741
504.90/505.19	o 740
515.18/515.43	o 722
525.50/525.79	o 721
535.87/536.13	o 716
546.19/546.48	o 715
556.54/556.80	o 698
566.97/567.23	o 697
577.24/577.51	o 692
587.48/587.79	o 691
597.73/598.01	o 686
608.07/608.35	o 685
618.38/618.66	o 684
628.73/629.01	o 683
638.96/639.24	o 666
649.26/649.57	o 665
659.47/659.77	o 660
669.81/670.11	o 659
679.95/680.25	o 654
690.05/690.38	o 653
700.21/700.52	o 652
710.61/710.92	o 651
720.64/720.98	o 634
730.84/731.17	o 633
741.04/741.34	o 628
751.33/751.67	o 627
761.81/762.14	o 622
772.12/772.44	o 621
782.29/782.62	o 620
792.51/792.88	o 619
802.80/803.13	o 602
813.01/813.36	o 601
823.11/823.44	o 596
833.51/833.87	o 595
843.89/844.25	o 590
854.35/854.71	o 589
864.86/865.22	o 575
875.24/875.61	o 574
885.79/886.15	o 569
896.28/896.67	o 568
906.58/906.95	o 551
916.97/917.33	o 550
927.46/927.85	o 545
937.88/938.29	o 544
948.06/948.46	o 539
958.36/958.75	o 538
968.77/969.10	o 537
979.21/979.60	o 536
989.34/989.74	o 519
999.50/999.91	o 518
1009.58/1010.01	o 513
1020.08/1020.51	o 512
1030.57/1031.01	o 507
1040.69/1041.19	o 506
1050.68/1051.19	o 489
1061.07/1061.54	o 488
1071.38/1071.87	o 483
1081.79/1082.27	o 482
1091.87/1092.39	o 477
1101.94/1102.42	o 476
1112.34/1112.85	o 473
1122.54/1123.07	o 472
1132.74/1133.27	o 467
1142.84/1143.34	o 466
1153.13/1153.69	o 449
1163.60/1164.10	o 448
1173.92/1174.46	o 443
1174.00/1184.65	o 442
1194.68/1195.21	o 437
1205.08/1205.62	o 436
1215.51/1216.03	o 432
1225.70/1226.26	o 431
1236.09/1236.68	o 426
1246.47/1247.04	o 425
1256.67/1257.29	o 420
1266.96/1267.56	o 419
1277.15/1277.75	o 415
1287.45/1288.03	o 414
1297.95/1298.50	o 409
1308.21/1308.80	o 408
1318.34/1318.96	o 404
1328.54/1329.16	o 403
1338.92/1339.53	o 398
1349.20/1349.81	o 397
1359.52/1360.15	o 392
1369.70/1370.32	o 391
1379.91/1380.57	o 389
1390.08/1390.71	o 388
1400.30/1400.97	o 383
1410.49/1411.13	o 382
1420.50/1421.14	o 377
1430.58/1431.22	o 376
1440.96/1441.60	o 372
1451.09/1451.79	o 371
1461.46/1462.11	o 366
1471.78/1472.48	o 365
1481.86/1482.53	o 360
1491.88/1492.50	o 359
1501.87/1502.54	o 349
1511.87/1512.59	o 348
1521.86/1522.57	o 343
1531.95/1532.68	o 342
1542.14/1542.86	o 337
1552.45/1553.10	o 334
1562.54/1563.23	o 333
1572.53/1573.25	o 328
1582.52/1583.21	o 327
1592.73/1593.45	o 317
1602.94/1603.68	o 315
1613.14/1613.83	o 314
1623.53/1624.24	o 309
1633.62/1634.36	o 308
1643.72/1644.49	o 271
1653.92/1654.61	o 269
1664.03/1664.73	o 268
1674.12/1674.81	o 263
1684.13/1684.85	o 262
1694.12/1694.84	o 254
1704.22/1704.95	o 252
1714.21/1714.96	o 250
1724.20/1724.97	o 249
1734.51/1735.25	o 244
1744.60/1745.39	o 239
1754.80/1755.54	o 238
1765.09/1765.88	o 233
1775.21/1775.99	o 232
1785.39/1786.15	o 227
1790.00/1790.71	./satsolver.sh: line 5:  8196 Terminated              ./glucose $1 > $2 2> /dev/null
1790.00/1790.71	c error: unexpected solver exit code
1790.00/1790.71	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3753638-1339188878/watcher-3753638-1339188878 -o /tmp/evaluation-result-3753638-1339188878/solver-3753638-1339188878 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753638-1339188878.wbo 150818376 HOME HOME 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5920
/proc/meminfo: memFree=30885396/32873648 swapFree=7628/7628
[pid=5920] ppid=5918 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/5920/stat : 5920 (runsolver) D 5918 5920 16392 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 385013271 12095488 50 33554432000 4194304 5436572 140733767315184 140733767311480 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/5920/statm: 2953 50 31 304 0 2645 0

[startup+0.0193489 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5920
/proc/meminfo: memFree=30885396/32873648 swapFree=7628/7628
[pid=5920] ppid=5918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5920/stat : 5920 (npSolver-wbo-It) S 5918 5920 16392 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385013271 9367552 275 33554432000 4194304 5064252 140733878703424 140733878702336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5920/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100224 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5920
/proc/meminfo: memFree=30885396/32873648 swapFree=7628/7628
[pid=5920] ppid=5918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5920/stat : 5920 (npSolver-wbo-It) S 5918 5920 16392 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385013271 9367552 275 33554432000 4194304 5064252 140733878703424 140733878702336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5920/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300115 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5920
/proc/meminfo: memFree=30885396/32873648 swapFree=7628/7628
[pid=5920] ppid=5918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5920/stat : 5920 (npSolver-wbo-It) S 5918 5920 16392 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385013271 9367552 275 33554432000 4194304 5064252 140733878703424 140733878702336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5920/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700108 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5920
/proc/meminfo: memFree=30885396/32873648 swapFree=7628/7628
[pid=5920] ppid=5918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5920/stat : 5920 (npSolver-wbo-It) S 5918 5920 16392 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385013271 9367552 275 33554432000 4194304 5064252 140733878703424 140733878702336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5920/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5931
/proc/meminfo: memFree=30881364/32873648 swapFree=7628/7628
[pid=5920] ppid=5918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5920/stat : 5920 (npSolver-wbo-It) S 5918 5920 16392 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385013271 9367552 275 33554432000 4194304 5064252 140733878703424 140733878702336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5920/statm: 2287 275 233 213 0 72 0
[pid=5922] ppid=5920 vsize=3092 CPUtime=0.2 cores=0,2,4,6
/proc/5922/stat : 5922 (npSolver-wbo) S 5920 5920 16392 0 -1 4202496 1446 2702 0 0 2 0 18 0 20 0 1 0 385013272 3166208 377 33554432000 4194304 6006132 140735501716144 140735501710336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5922/statm: 773 377 158 443 0 326 0
[pid=5929] ppid=5922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5929/stat : 5929 (satsolver.sh) S 5922 5920 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385013294 9367552 267 33554432000 4194304 5064252 140736143515360 140736143514272 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5929/statm: 2287 267 226 213 0 72 0
[pid=5930] ppid=5929 vsize=9312 CPUtime=1.26 cores=0,2,4,6
/proc/5930/stat : 5930 (glucose) R 5929 5920 16392 0 -1 4202496 2237 0 0 0 126 0 0 0 20 0 1 0 385013295 9535488 1391 33554432000 4194304 5208918 140734404832880 140734404830968 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5930/statm: 2328 1391 96 248 0 2077 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30700

[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5931
/proc/meminfo: memFree=30869704/32873648 swapFree=7628/7628
[pid=5920] ppid=5918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5920/stat : 5920 (npSolver-wbo-It) S 5918 5920 16392 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385013271 9367552 275 33554432000 4194304 5064252 140733878703424 140733878702336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5920/statm: 2287 275 233 213 0 72 0
[pid=5922] ppid=5920 vsize=3092 CPUtime=0.2 cores=0,2,4,6
/proc/5922/stat : 5922 (npSolver-wbo) S 5920 5920 16392 0 -1 4202496 1446 2702 0 0 2 0 18 0 20 0 1 0 385013272 3166208 377 33554432000 4194304 6006132 140735501716144 140735501710336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5922/statm: 773 377 158 443 0 326 0
[pid=5929] ppid=5922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5929/stat : 5929 (satsolver.sh) S 5922 5920 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385013294 9367552 267 33554432000 4194304 5064252 140736143515360 140736143514272 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5929/statm: 2287 267 226 213 0 72 0
[pid=5930] ppid=5929 vsize=10988 CPUtime=2.86 cores=0,2,4,6
/proc/5930/stat : 5930 (glucose) R 5929 5920 16392 0 -1 4202496 3014 0 0 0 286 0 0 0 20 0 1 0 385013295 11251712 2145 33554432000 4194304 5208918 140734404832880 140734404830744 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5930/statm: 2747 2145 96 248 0 2496 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 32376

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5931
/proc/meminfo: memFree=30869996/32873648 swapFree=7628/7628
[pid=5920] ppid=5918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5920/stat : 5920 (npSolver-wbo-It) S 5918 5920 16392 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385013271 9367552 275 33554432000 4194304 5064252 140733878703424 140733878702336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5920/statm: 2287 275 233 213 0 72 0
[pid=5922] ppid=5920 vsize=3092 CPUtime=0.2 cores=0,2,4,6
/proc/5922/stat : 5922 (npSolver-wbo) S 5920 5920 16392 0 -1 4202496 1446 2702 0 0 2 0 18 0 20 0 1 0 385013272 3166208 377 33554432000 4194304 6006132 140735501716144 140735501710336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5922/statm: 773 377 158 443 0 326 0
[pid=5929] ppid=5922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5929/stat : 5929 (satsolver.sh) S 5922 5920 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385013294 9367552 267 33554432000 4194304 5064252 140736143515360 140736143514272 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5929/statm: 2287 267 226 213 0 72 0
[pid=5930] ppid=5929 vsize=12140 CPUtime=6.05 cores=0,2,4,6
/proc/5930/stat : 5930 (glucose) R 5929 5920 16392 0 -1 4202496 3497 0 0 0 605 0 0 0 20 0 1 0 385013295 12431360 2613 33554432000 4194304 5208918 140734404832880 140734404830968 4229824 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5930/statm: 3035 2613 96 248 0 2784 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 33528

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5945
/proc/meminfo: memFree=30815376/32873648 swapFree=7628/7628
[pid=5920] ppid=5918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5920/stat : 5920 (npSolver-wbo-It) S 5918 5920 16392 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385013271 9367552 275 33554432000 4194304 5064252 140733878703424 140733878702336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5920/statm: 2287 275 233 213 0 72 0
[pid=5922] ppid=5920 vsize=11224 CPUtime=9.93 cores=0,2,4,6
/proc/5922/stat : 5922 (npSolver-wbo) S 5920 5920 16392 0 -1 4202496 2973 9838 0 0 6 2 983 2 20 0 1 0 385013272 11493376 2245 33554432000 4194304 6006132 140735501716144 140735501707536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5922/statm: 2806 2245 167 443 0 2359 0
[pid=5944] ppid=5922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5944/stat : 5944 (satsolver.sh) S 5922 5920 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385014267 9367552 267 33554432000 4194304 5064252 140737467703376 140737467702288 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5944/statm: 2287 267 226 213 0 72 0
[pid=5945] ppid=5944 vsize=32692 CPUtime=2.73 cores=0,2,4,6
/proc/5945/stat : 5945 (glucose) R 5944 5920 16392 0 -1 4202496 7335 0 0 0 272 1 0 0 20 0 1 0 385014267 33476608 7384 33554432000 4194304 5208918 140735420977536 140735420975624 4229538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5945/statm: 8173 7384 96 248 0 7922 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 62212

[startup+25.5002 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 5959
/proc/meminfo: memFree=30829784/32873648 swapFree=7628/7628
[pid=5920] ppid=5918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5920/stat : 5920 (npSolver-wbo-It) S 5918 5920 16392 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385013271 9367552 275 33554432000 4194304 5064252 140733878703424 140733878702336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5920/statm: 2287 275 233 213 0 72 0
[pid=5922] ppid=5920 vsize=11224 CPUtime=20.43 cores=0,2,4,6
/proc/5922/stat : 5922 (npSolver-wbo) S 5920 5920 16392 0 -1 4202496 4486 22506 0 0 10 3 2021 9 20 0 1 0 385013272 11493376 2245 33554432000 4194304 6006132 140735501716144 140735501707536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5922/statm: 2806 2245 167 443 0 2359 0
[pid=5958] ppid=5922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5958/stat : 5958 (satsolver.sh) S 5922 5920 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385015317 9367552 266 33554432000 4194304 5064252 140734564096784 140734564095696 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5958/statm: 2287 266 226 213 0 72 0
[pid=5959] ppid=5958 vsize=36608 CPUtime=5.03 cores=0,2,4,6
/proc/5959/stat : 5959 (glucose) R 5958 5920 16392 0 -1 4202496 8364 0 0 0 502 1 0 0 20 0 1 0 385015317 37486592 8377 33554432000 4194304 5208918 140734418974752 140734418972616 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5959/statm: 9152 8377 96 248 0 8901 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 66128

[startup+51.1003 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 6030
/proc/meminfo: memFree=30788712/32873648 swapFree=7628/7628
[pid=5920] ppid=5918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5920/stat : 5920 (npSolver-wbo-It) S 5918 5920 16392 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385013271 9367552 275 33554432000 4194304 5064252 140733878703424 140733878702336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5920/statm: 2287 275 233 213 0 72 0
[pid=5922] ppid=5920 vsize=11224 CPUtime=41.16 cores=0,2,4,6
/proc/5922/stat : 5922 (npSolver-wbo) S 5920 5920 16392 0 -1 4202496 7511 46517 0 0 17 3 4071 25 20 0 1 0 385013272 11493376 2245 33554432000 4194304 6006132 140735501716144 140735501707536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5922/statm: 2806 2245 167 443 0 2359 0
[pid=6022] ppid=5922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6022/stat : 6022 (satsolver.sh) S 5922 5920 16392 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385017390 9367552 266 33554432000 4194304 5064252 140733497572256 140733497571168 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6022/statm: 2287 266 226 213 0 72 0
[pid=6023] ppid=6022 vsize=43560 CPUtime=9.89 cores=0,2,4,6
/proc/6023/stat : 6023 (glucose) R 6022 5920 16392 0 -1 4202496 7702 0 0 0 988 1 0 0 20 0 1 0 385017391 44605440 10149 33554432000 4194304 5208918 140734082547552 140734082545416 4213139 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6023/statm: 10890 10149 104 248 0 10639 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 73080

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 6093
/proc/meminfo: memFree=30794292/32873648 swapFree=7628/7628
[pid=5920] ppid=5918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5920/stat : 5920 (npSolver-wbo-It) S 5918 5920 16392 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385013271 9367552 275 33554432000 4194304 5064252 140733878703424 140733878702336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5920/statm: 2287 275 233 213 0 72 0
[pid=5922] ppid=5920 vsize=11224 CPUtime=92.84 cores=0,2,4,6
/proc/5922/stat : 5922 (npSolver-wbo) S 5920 5920 16392 0 -1 4202496 15049 105152 0 0 34 5 9185 60 20 0 1 0 385013272 11493376 2245 33554432000 4194304 6006132 140735501716144 140735501707536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5922/statm: 2806 2245 167 443 0 2359 0
[pid=6085] ppid=5922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6085/stat : 6085 (satsolver.sh) S 5922 5920 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385022560 9367552 266 33554432000 4194304 5064252 140734920953728 140734920952640 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6085/statm: 2287 266 226 213 0 72 0
[pid=6086] ppid=6085 vsize=40380 CPUtime=9.39 cores=0,2,4,6
/proc/6086/stat : 6086 (glucose) R 6085 5920 16392 0 -1 4202496 8436 0 0 0 938 1 0 0 20 0 1 0 385022561 41349120 9209 33554432000 4194304 5208918 140735815711712 140735815709576 4229757 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6086/statm: 10095 9209 96 248 0 9844 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 69900

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 6170
/proc/meminfo: memFree=30818724/32873648 swapFree=7628/7628
[pid=5920] ppid=5918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5920/stat : 5920 (npSolver-wbo-It) S 5918 5920 16392 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385013271 9367552 275 33554432000 4194304 5064252 140733878703424 140733878702336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5920/statm: 2287 275 233 213 0 72 0
[pid=5922] ppid=5920 vsize=11224 CPUtime=154.46 cores=0,2,4,6
/proc/5922/stat : 5922 (npSolver-wbo) S 5920 5920 16392 0 -1 4202496 23255 171941 0 0 53 7 15290 96 20 0 1 0 385013272 11493376 2245 33554432000 4194304 6006132 140735501716144 140735501707536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5922/statm: 2806 2245 167 443 0 2359 0
[pid=6162] ppid=5922 vsize=9148 CPUtime=0 cores=0,2,4,6

################
# More data... #
################

/proc/5922/statm: 2806 2246 168 443 0 2359 0
[pid=7735] ppid=5922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7735/stat : 7735 (satsolver.sh) S 5922 5920 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385155387 9367552 266 33554432000 4194304 5064252 140736889495424 140736889494336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7735/statm: 2287 266 226 213 0 72 0
[pid=7736] ppid=7735 vsize=13264 CPUtime=1.14 cores=0,2,4,6
/proc/7736/stat : 7736 (glucose) R 7735 5920 16392 0 -1 4202496 4086 0 0 0 114 0 0 0 20 0 1 0 385155387 13582336 2843 33554432000 4194304 5208918 140733457600400 140733457598488 4229999 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7736/statm: 3316 2843 96 248 0 3065 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 42784

[startup+1482.3 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 7799
/proc/meminfo: memFree=30832064/32873648 swapFree=7628/7628
[pid=5920] ppid=5918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5920/stat : 5920 (npSolver-wbo-It) S 5918 5920 16392 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385013271 9367552 275 33554432000 4194304 5064252 140733878703424 140733878702336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5920/statm: 2287 275 233 213 0 72 0
[pid=5922] ppid=5920 vsize=11224 CPUtime=1471.88 cores=0,2,4,6
/proc/5922/stat : 5922 (npSolver-wbo) S 5920 5920 16392 0 -1 4202496 133963 1428716 0 0 285 39 146201 663 20 0 1 0 385013272 11493376 2246 33554432000 4194304 6006132 140735501716144 140735501707536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5922/statm: 2806 2246 168 443 0 2359 0
[pid=7791] ppid=5922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7791/stat : 7791 (satsolver.sh) S 5922 5920 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385160521 9367552 266 33554432000 4194304 5064252 140736706286000 140736706284912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7791/statm: 2287 266 226 213 0 72 0
[pid=7792] ppid=7791 vsize=26476 CPUtime=9.79 cores=0,2,4,6
/proc/7792/stat : 7792 (glucose) R 7791 5920 16392 0 -1 4202496 5643 0 0 0 978 1 0 0 20 0 1 0 385160522 27111424 5355 33554432000 4194304 5208918 140735111795312 140735111793256 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7792/statm: 6619 5355 104 248 0 6368 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 55996

[startup+1542.3 s]
/proc/loadavg: 1.93 1.97 1.99 3/184 7873
/proc/meminfo: memFree=30829448/32873648 swapFree=7628/7628
[pid=5920] ppid=5918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5920/stat : 5920 (npSolver-wbo-It) S 5918 5920 16392 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385013271 9367552 275 33554432000 4194304 5064252 140733878703424 140733878702336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5920/statm: 2287 275 233 213 0 72 0
[pid=5922] ppid=5920 vsize=11224 CPUtime=1532.05 cores=0,2,4,6
/proc/5922/stat : 5922 (npSolver-wbo) S 5920 5920 16392 0 -1 4202496 137063 1477706 0 0 291 40 152192 682 20 0 1 0 385013272 11493376 2246 33554432000 4194304 6006132 140735501716144 140735501707536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5922/statm: 2806 2246 168 443 0 2359 0
[pid=7872] ppid=5922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7872/stat : 7872 (satsolver.sh) S 5922 5920 16392 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385166541 9367552 267 33554432000 4194304 5064252 140734078837824 140734078836736 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7872/statm: 2287 267 226 213 0 72 0
[pid=7873] ppid=7872 vsize=25872 CPUtime=9.59 cores=0,2,4,6
/proc/7873/stat : 7873 (glucose) R 7872 5920 16392 0 -1 4202496 5585 0 0 0 958 1 0 0 20 0 1 0 385166541 26492928 5150 33554432000 4194304 5208918 140734625096912 140734625094856 4229776 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7873/statm: 6468 5150 96 248 0 6217 0
Current children cumulated CPU time (s) 1541.64
Current children cumulated vsize (KiB) 55392

[startup+1602.3 s]
/proc/loadavg: 1.97 1.97 1.99 3/183 7943
/proc/meminfo: memFree=30834768/32873648 swapFree=7628/7628
[pid=5920] ppid=5918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5920/stat : 5920 (npSolver-wbo-It) S 5918 5920 16392 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385013271 9367552 275 33554432000 4194304 5064252 140733878703424 140733878702336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5920/statm: 2287 275 233 213 0 72 0
[pid=5922] ppid=5920 vsize=11224 CPUtime=1592.81 cores=0,2,4,6
/proc/5922/stat : 5922 (npSolver-wbo) S 5920 5920 16392 0 -1 4202496 140098 1528885 0 0 297 41 158243 700 20 0 1 0 385013272 11493376 2246 33554432000 4194304 6006132 140735501716144 140735501707536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5922/statm: 2806 2246 168 443 0 2359 0
[pid=7942] ppid=5922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7942/stat : 7942 (satsolver.sh) S 5922 5920 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385172618 9367552 267 33554432000 4194304 5064252 140736857563664 140736857562576 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7942/statm: 2287 267 226 213 0 72 0
[pid=7943] ppid=7942 vsize=19524 CPUtime=8.83 cores=0,2,4,6
/proc/7943/stat : 7943 (glucose) R 7942 5920 16392 0 -1 4202496 4822 0 0 0 882 1 0 0 20 0 1 0 385172618 19992576 4508 33554432000 4194304 5208918 140733871576624 140733871574712 4229483 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7943/statm: 4881 4508 96 248 0 4630 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 49044

[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/183 8006
/proc/meminfo: memFree=30829760/32873648 swapFree=7628/7628
[pid=5920] ppid=5918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5920/stat : 5920 (npSolver-wbo-It) S 5918 5920 16392 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385013271 9367552 275 33554432000 4194304 5064252 140733878703424 140733878702336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5920/statm: 2287 275 233 213 0 72 0
[pid=5922] ppid=5920 vsize=11224 CPUtime=1653.97 cores=0,2,4,6
/proc/5922/stat : 5922 (npSolver-wbo) S 5920 5920 16392 0 -1 4202496 143014 1578832 0 0 303 42 164333 719 20 0 1 0 385013272 11493376 2246 33554432000 4194304 6006132 140735501716144 140735501707536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5922/statm: 2806 2246 168 443 0 2359 0
[pid=8005] ppid=5922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8005/stat : 8005 (satsolver.sh) S 5922 5920 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385178734 9367552 267 33554432000 4194304 5064252 140734243631376 140734243630288 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8005/statm: 2287 267 226 213 0 72 0
[pid=8006] ppid=8005 vsize=19272 CPUtime=7.66 cores=0,2,4,6
/proc/8006/stat : 8006 (glucose) R 8005 5920 16392 0 -1 4202496 5080 0 0 0 765 1 0 0 20 0 1 0 385178734 19734528 4352 33554432000 4194304 5208918 140735963685472 140735963683464 4468933 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8006/statm: 4818 4352 96 248 0 4567 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 48792

[startup+1722.3 s]
/proc/loadavg: 1.93 1.95 1.98 3/183 8147
/proc/meminfo: memFree=30806088/32873648 swapFree=7628/7628
[pid=5920] ppid=5918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5920/stat : 5920 (npSolver-wbo-It) S 5918 5920 16392 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385013271 9367552 275 33554432000 4194304 5064252 140733878703424 140733878702336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5920/statm: 2287 275 233 213 0 72 0
[pid=5922] ppid=5920 vsize=11224 CPUtime=1714.29 cores=0,2,4,6
/proc/5922/stat : 5922 (npSolver-wbo) S 5920 5920 16392 0 -1 4202496 145750 1625651 0 0 307 42 170344 736 20 0 1 0 385013272 11493376 2246 33554432000 4194304 6006132 140735501716144 140735501707536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5922/statm: 2806 2246 168 443 0 2359 0
[pid=8146] ppid=5922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8146/stat : 8146 (satsolver.sh) S 5922 5920 16392 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385184769 9367552 266 33554432000 4194304 5064252 140733877713984 140733877712896 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8146/statm: 2287 266 226 213 0 72 0
[pid=8147] ppid=8146 vsize=26252 CPUtime=7.31 cores=0,2,4,6
/proc/8147/stat : 8147 (glucose) R 8146 5920 16392 0 -1 4202496 4859 0 0 0 731 0 0 0 20 0 1 0 385184769 26882048 5697 33554432000 4194304 5208918 140734381016880 140734381014872 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8147/statm: 6563 5697 96 248 0 6312 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 55772

[startup+1782.3 s]
/proc/loadavg: 1.97 1.96 1.98 3/183 8189
/proc/meminfo: memFree=30812168/32873648 swapFree=7628/7628
[pid=5920] ppid=5918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5920/stat : 5920 (npSolver-wbo-It) S 5918 5920 16392 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385013271 9367552 275 33554432000 4194304 5064252 140733878703424 140733878702336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5920/statm: 2287 275 233 213 0 72 0
[pid=5922] ppid=5920 vsize=11224 CPUtime=1775.31 cores=0,2,4,6
/proc/5922/stat : 5922 (npSolver-wbo) S 5920 5920 16392 0 -1 4202496 148372 1673076 0 0 312 43 176426 750 20 0 1 0 385013272 11493376 2246 33554432000 4194304 6006132 140735501716144 140735501707536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5922/statm: 2806 2246 168 443 0 2359 0
[pid=8188] ppid=5922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8188/stat : 8188 (satsolver.sh) S 5922 5920 16392 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385190872 9367552 266 33554432000 4194304 5064252 140735640710352 140735640709264 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8188/statm: 2287 266 226 213 0 72 0
[pid=8189] ppid=8188 vsize=18396 CPUtime=6.28 cores=0,2,4,6
/proc/8189/stat : 8189 (glucose) R 8188 5920 16392 0 -1 4202496 4212 0 0 0 628 0 0 0 20 0 1 0 385190872 18837504 4226 33554432000 4194304 5208918 140737031689280 140737031687144 4229517 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8189/statm: 4599 4226 96 248 0 4348 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 47916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.7 s]
/proc/loadavg: 1.98 1.96 1.98 3/183 8196
/proc/meminfo: memFree=30808944/32873648 swapFree=7628/7628
[pid=5920] ppid=5918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5920/stat : 5920 (npSolver-wbo-It) S 5918 5920 16392 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385013271 9367552 275 33554432000 4194304 5064252 140733878703424 140733878702336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5920/statm: 2287 275 233 213 0 72 0
[pid=5922] ppid=5920 vsize=11224 CPUtime=1785.47 cores=0,2,4,6
/proc/5922/stat : 5922 (npSolver-wbo) S 5920 5920 16392 0 -1 4202496 148797 1680820 0 0 312 43 177439 753 20 0 1 0 385013272 11493376 2246 33554432000 4194304 6006132 140735501716144 140735501707536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5922/statm: 2806 2246 168 443 0 2359 0
[pid=8195] ppid=5922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8195/stat : 8195 (satsolver.sh) S 5922 5920 16392 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385191888 9367552 267 33554432000 4194304 5064252 140736224033456 140736224032368 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8195/statm: 2287 267 226 213 0 72 0
[pid=8196] ppid=8195 vsize=15644 CPUtime=4.53 cores=0,2,4,6
/proc/8196/stat : 8196 (glucose) R 8195 5920 16392 0 -1 4202496 4226 0 0 0 453 0 0 0 20 0 1 0 385191888 16019456 3537 33554432000 4194304 5208918 140736817201360 140736817199304 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8196/statm: 3911 3537 96 248 0 3660 0
Current children cumulated CPU time (s) 1790
Current children cumulated vsize (KiB) 45164

Sending SIGTERM to process tree (bottom up)

Solver just ended. Dumping a history of the last processes samples

[startup+1790.7 s]
/proc/loadavg: 1.98 1.96 1.98 3/183 8196
/proc/meminfo: memFree=30808944/32873648 swapFree=7628/7628
[pid=5920] ppid=5918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5920/stat : 5920 (npSolver-wbo-It) S 5918 5920 16392 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385013271 9367552 275 33554432000 4194304 5064252 140733878703424 140733878702336 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5920/statm: 2287 275 233 213 0 72 0
[pid=5922] ppid=5920 vsize=11224 CPUtime=1785.47 cores=0,2,4,6
/proc/5922/stat : 5922 (npSolver-wbo) S 5920 5920 16392 0 -1 4202496 148797 1680820 0 0 312 43 177439 753 20 0 1 0 385013272 11493376 2246 33554432000 4194304 6006132 140735501716144 140735501707536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5922/statm: 2806 2246 168 443 0 2359 0
[pid=8195] ppid=5922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8195/stat : 8195 (satsolver.sh) S 5922 5920 16392 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385191888 9367552 267 33554432000 4194304 5064252 140736224033456 140736224032368 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8195/statm: 2287 267 226 213 0 72 0
[pid=8196] ppid=8195 vsize=15644 CPUtime=4.53 cores=0,2,4,6
/proc/8196/stat : 8196 (glucose) R 8195 5920 16392 0 -1 4202496 4226 0 0 0 453 0 0 0 20 0 1 0 385191888 16019456 3537 33554432000 4194304 5208918 140736817201360 140736817199304 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8196/statm: 3911 3537 96 248 0 3660 0
Current children cumulated CPU time (s) 1790
Current children cumulated vsize (KiB) 45164

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 10.01
#  lost CPU user time (s): 10
#  lost CPU system time (s): 0.0100002

Real time (s): 1790.72
CPU time (s): 1800.05
CPU user time (s): 1792.06
CPU system time (s): 7.99379
CPU usage (%): 100.521
Max. virtual memory (cumulated for all children) (KiB): 75780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.06
system time used= 7.98379
maximum resident set size= 42008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1834834
page faults= 0
swaps= 0
block input operations= 0
block output operations= 543016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10551
involuntary context switches= 5402

runsolver used 2.69059 second user time and 7.09592 second system time

The end

Launcher Data 

Begin job on node127 at 2012-06-08 22:54:38
IDJOB=3753638
IDBENCH=78812
IDSOLVER=2337
FILE ID=node127/3753638-1339188878
RUNJOBID= node127-1339183476-5389
PBS_JOBID= 14643807
Free space on /tmp= 70824 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111220767--soft-66-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753638-1339188878/watcher-3753638-1339188878 -o /tmp/evaluation-result-3753638-1339188878/solver-3753638-1339188878 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itd.sh HOME/instance-3753638-1339188878.wbo 150818376 HOME HOME

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0e6c262e00c2bafdec71b4c92c644f07
RANDOM SEED=150818376

node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30885544 kB
Buffers:          447800 kB
Cached:           622320 kB
SwapCached:         2000 kB
Active:          1064592 kB
Inactive:          27180 kB
Active(anon):       9588 kB
Inactive(anon):     8228 kB
Active(file):    1055004 kB
Inactive(file):    18952 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67103464 kB
Dirty:             17144 kB
Writeback:             0 kB
AnonPages:         21208 kB
Mapped:            11576 kB
Shmem:                92 kB
Slab:             758136 kB
SReclaimable:     202028 kB
SUnreclaim:       556108 kB
KernelStack:        1456 kB
PageTables:         4260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     134200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70812 MiB
End job on node127 at 2012-06-08 23:24:29