Trace number 2116189

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
Choco2.1.1b 2009-07-16SAT 72.6999 73.4025

DiagnosticValue
CHECKS0
NODES5844

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-100-6.xml
MD5SUM822c8f0751f873c488a8bb0f5ccf69cd
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.16667
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1352
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
Global constraints used (with number of constraints)

Solver Data 

72.60/73.37	s SATISFIABLE
72.60/73.37	v 1243 924 1209 737 0 417 232 1095 81 347 827 704 587 512 156 1051 297 666 447 776 442 731 170 524 469 975 1061 398 657 492 1261 558 793 96 1118 637 1181 221 184 909 173 199 89 755 481 528 443 645 1276 685 0 287 616 225 1124 1087 978 917 28 40 40 767 528 274 753 391 1213 882 438 1004 0 1058 1122 137 1161 1275 595 308 981 696 1109 12 1324 981 784 402 1243 347 187 910 77 1158 5 736 528 613 1216 556 169 484 481 650 1264 1076 1004 256 80 313 960 882 398 607 672 519 0 151 791 1162 705 737 382 1276 410 0 163 910 1203 1058 735 1264 560 519 870 674 1113 280 631 221 68 967 1045 1083 1298 845 851 723 621 391 313 220 798 516 7 705 1213 1009 80 1112 466 893 704 760 417 944 28 172 613 752 364 1213 516 1026 791 245 1122 339 115 405 873 1329 1119 1162 627 252 1074 1031 900 361 285 706 0 173 453 978 744 1242 539 804 123 85 704 1341 1079 333 757 5 826 558 304 1318 56 421 225 1188 0 1008 306 516 1213 1216 671 417 245 0 163 461 188 1205 193 616 306 31 77 974 327 870 850 480 1236 442 833 609 760 1002 308 157 1263 1070 538 381 274 245 438 690 447 0 748 1119 924 886 373 127 607 311 0 704 907 1124 1112 89 764 392 224 826 1260 1006 458 480 1196 556 696 313 1135 1078 1303 751 1282 99 850 198 1003 1122 486 232 525 31 934 672 1318 1225 460 804 23 976 231 274 371 722 1095 453 470 556 85 468 188 198 1168 874 1249 755 1070 245 736 890 1110 308 1243 551 99 81 405 945 874 1050 1300 161 0 655 169 798 755 525 823 225 382 847 654 346 59 0 512 986 621 707 322 524 15 137 909 729 299 892 945 1008 1298 644 383 1051 1011 512 173 981 606 0 1237 1149 64 231 458 827 686 1119 262 1168 847 1003 127 1242 1079 0 31 7 440 346 147 163 500 917 1243 845 
72.60/73.37	d AC 32
72.60/73.37	d RUNTIME 73.191
72.60/73.37	d NODES 5844
72.60/73.37	d NODES/s 80
72.60/73.37	d BACKTRACKS 1579
72.60/73.37	d BACKTRACKS/s 22
72.60/73.37	d CHECKS 0
72.60/73.37	d CHECKS/s 0
72.60/73.37	c SAT 73.191 TIME      5844 NDS    1019 PARSTIME      699 BUILDPB       1971 CONFIG        69502 RES       true RESTART       1 HEURISTIC       true RANDVAL

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2116189-1248030789/watcher-2116189-1248030789 -o /tmp/evaluation-result-2116189-1248030789/solver-2116189-1248030789 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116189-1248030789.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.94 4/80 31535
/proc/meminfo: memFree=1086136/2055920 swapFree=4192812/4192956
[pid=31535] ppid=31533 vsize=18576 CPUtime=0
/proc/31535/stat : 31535 (runsolver) R 31533 31535 30787 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 90142499 19021824 284 996147200 4194304 4302564 548682068272 18446744073709551615 240577473831 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/31535/statm: 4644 284 249 26 0 2626 0

[startup+0.028467 s]
/proc/loadavg: 2.00 2.00 1.94 4/80 31535
/proc/meminfo: memFree=1086136/2055920 swapFree=4192812/4192956
[pid=31535] ppid=31533 vsize=859244 CPUtime=0.01
/proc/31535/stat : 31535 (java) S 31533 31535 30787 0 -1 0 1711 0 1 0 0 1 0 0 18 0 3 0 90142499 879865856 1390 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/31535/statm: 214811 1390 570 9 0 209726 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 859244

[startup+0.102579 s]
/proc/loadavg: 2.00 2.00 1.94 4/80 31535
/proc/meminfo: memFree=1086136/2055920 swapFree=4192812/4192956
[pid=31535] ppid=31533 vsize=864072 CPUtime=0.09
/proc/31535/stat : 31535 (java) S 31533 31535 30787 0 -1 0 3794 0 1 0 7 2 0 0 18 0 9 0 90142499 884809728 3258 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31535/statm: 216018 3258 1720 9 0 210487 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 864072

[startup+0.302593 s]
/proc/loadavg: 2.00 2.00 1.94 4/80 31535
/proc/meminfo: memFree=1086136/2055920 swapFree=4192812/4192956
[pid=31535] ppid=31533 vsize=864984 CPUtime=0.29
/proc/31535/stat : 31535 (java) S 31533 31535 30787 0 -1 0 4775 0 1 0 26 3 0 0 18 0 9 0 90142499 885743616 4200 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31535/statm: 216246 4200 1858 9 0 210715 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 864984

[startup+0.702628 s]
/proc/loadavg: 2.00 2.00 1.94 4/80 31535
/proc/meminfo: memFree=1086136/2055920 swapFree=4192812/4192956
[pid=31535] ppid=31533 vsize=864984 CPUtime=0.69
/proc/31535/stat : 31535 (java) S 31533 31535 30787 0 -1 0 8707 0 1 0 64 5 0 0 18 0 9 0 90142499 885743616 8121 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31535/statm: 216246 8121 1899 9 0 210715 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 864984

[startup+1.5017 s]
/proc/loadavg: 2.00 2.00 1.94 3/89 31544
/proc/meminfo: memFree=1043632/2055920 swapFree=4192812/4192956
[pid=31535] ppid=31533 vsize=865136 CPUtime=1.48
/proc/31535/stat : 31535 (java) S 31533 31535 30787 0 -1 0 19514 0 1 0 137 11 0 0 18 0 9 0 90142499 885899264 18905 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31535/statm: 216284 18905 1956 9 0 210753 0
[pid=31535/tid=31537] ppid=31533 vsize=865136 CPUtime=1.1
/proc/31535/task/31537/stat : 31537 (java) R 31533 31535 30787 0 -1 64 14527 0 1 0 102 8 0 0 25 0 9 0 90142500 885899264 18905 996147200 134512640 134550932 4294955888 18446744073709551615 4125913712 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31538] ppid=31533 vsize=865136 CPUtime=0.09
/proc/31535/task/31538/stat : 31538 (java) S 31533 31535 30787 0 -1 64 3643 0 0 0 8 1 0 0 16 0 9 0 90142501 885899264 18905 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31539] ppid=31533 vsize=865136 CPUtime=0
/proc/31535/task/31539/stat : 31539 (java) S 31533 31535 30787 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90142502 885899264 18905 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31540] ppid=31533 vsize=865136 CPUtime=0
/proc/31535/task/31540/stat : 31540 (java) S 31533 31535 30787 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90142502 885899264 18905 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31541] ppid=31533 vsize=865136 CPUtime=0
/proc/31535/task/31541/stat : 31541 (java) S 31533 31535 30787 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90142504 885899264 18905 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31542] ppid=31533 vsize=865136 CPUtime=0.25
/proc/31535/task/31542/stat : 31542 (java) S 31533 31535 30787 0 -1 64 613 0 0 0 25 0 0 0 16 0 9 0 90142504 885899264 18905 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31543] ppid=31533 vsize=865136 CPUtime=0
/proc/31535/task/31543/stat : 31543 (java) S 31533 31535 30787 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90142504 885899264 18905 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31544] ppid=31533 vsize=865136 CPUtime=0
/proc/31535/task/31544/stat : 31544 (java) S 31533 31535 30787 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90142504 885899264 18905 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 865136

[startup+3.10184 s]
/proc/loadavg: 2.00 2.00 1.94 3/89 31544
/proc/meminfo: memFree=1016688/2055920 swapFree=4192812/4192956
[pid=31535] ppid=31533 vsize=865136 CPUtime=3.05
/proc/31535/stat : 31535 (java) S 31533 31535 30787 0 -1 0 23892 0 1 0 291 14 0 0 18 0 9 0 90142499 885899264 23267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31535/statm: 216284 23267 1979 9 0 210753 0
[pid=31535/tid=31537] ppid=31533 vsize=865136 CPUtime=2.46
/proc/31535/task/31537/stat : 31537 (java) R 31533 31535 30787 0 -1 64 14778 0 1 0 238 8 0 0 25 0 9 0 90142500 885899264 23267 996147200 134512640 134550932 4294955888 18446744073709551615 4126927312 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31538] ppid=31533 vsize=865136 CPUtime=0.21
/proc/31535/task/31538/stat : 31538 (java) S 31533 31535 30787 0 -1 64 7703 0 0 0 18 3 0 0 16 0 9 0 90142501 885899264 23267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31539] ppid=31533 vsize=865136 CPUtime=0
/proc/31535/task/31539/stat : 31539 (java) S 31533 31535 30787 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90142502 885899264 23267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31540] ppid=31533 vsize=865136 CPUtime=0
/proc/31535/task/31540/stat : 31540 (java) S 31533 31535 30787 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90142502 885899264 23267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31541] ppid=31533 vsize=865136 CPUtime=0
/proc/31535/task/31541/stat : 31541 (java) S 31533 31535 30787 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90142504 885899264 23267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31542] ppid=31533 vsize=865136 CPUtime=0.35
/proc/31535/task/31542/stat : 31542 (java) S 31533 31535 30787 0 -1 64 680 0 0 0 34 1 0 0 16 0 9 0 90142504 885899264 23267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31543] ppid=31533 vsize=865136 CPUtime=0
/proc/31535/task/31543/stat : 31543 (java) S 31533 31535 30787 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90142504 885899264 23267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31544] ppid=31533 vsize=865136 CPUtime=0
/proc/31535/task/31544/stat : 31544 (java) S 31533 31535 30787 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90142504 885899264 23267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 865136

[startup+6.30212 s]
/proc/loadavg: 2.00 2.00 1.94 3/89 31544
/proc/meminfo: memFree=986544/2055920 swapFree=4192812/4192956
[pid=31535] ppid=31533 vsize=865264 CPUtime=6.23
/proc/31535/stat : 31535 (java) S 31533 31535 30787 0 -1 0 30569 0 1 0 604 19 0 0 18 0 9 0 90142499 886030336 29936 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31535/statm: 216316 29936 1998 9 0 210785 0
[pid=31535/tid=31537] ppid=31533 vsize=865264 CPUtime=5.26
/proc/31535/task/31537/stat : 31537 (java) R 31533 31535 30787 0 -1 64 14897 0 1 0 516 10 0 0 25 0 9 0 90142500 886030336 29936 996147200 134512640 134550932 4294955888 18446744073709551615 4127455368 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31538] ppid=31533 vsize=865264 CPUtime=0.42
/proc/31535/task/31538/stat : 31538 (java) S 31533 31535 30787 0 -1 64 14160 0 0 0 36 6 0 0 16 0 9 0 90142501 886030336 29936 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31539] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31539/stat : 31539 (java) S 31533 31535 30787 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90142502 886030336 29936 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31540] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31540/stat : 31540 (java) S 31533 31535 30787 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90142502 886030336 29936 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31541] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31541/stat : 31541 (java) S 31533 31535 30787 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90142504 886030336 29936 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31542] ppid=31533 vsize=865264 CPUtime=0.51
/proc/31535/task/31542/stat : 31542 (java) S 31533 31535 30787 0 -1 64 781 0 0 0 50 1 0 0 16 0 9 0 90142504 886030336 29936 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31543] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31543/stat : 31543 (java) S 31533 31535 30787 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90142504 886030336 29936 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31544] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31544/stat : 31544 (java) S 31533 31535 30787 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90142504 886030336 29936 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 865264

[startup+12.7017 s]
/proc/loadavg: 2.00 2.00 1.94 3/89 31544
/proc/meminfo: memFree=967984/2055920 swapFree=4192812/4192956
[pid=31535] ppid=31533 vsize=865264 CPUtime=12.57
/proc/31535/stat : 31535 (java) S 31533 31535 30787 0 -1 0 31954 0 1 0 1236 21 0 0 18 0 9 0 90142499 886030336 31318 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31535/statm: 216316 31318 1998 9 0 210785 0
[pid=31535/tid=31537] ppid=31533 vsize=865264 CPUtime=11.54
/proc/31535/task/31537/stat : 31537 (java) R 31533 31535 30787 0 -1 64 14900 0 1 0 1144 10 0 0 25 0 9 0 90142500 886030336 31318 996147200 134512640 134550932 4294955888 18446744073709551615 4127451306 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31538] ppid=31533 vsize=865264 CPUtime=0.47
/proc/31535/task/31538/stat : 31538 (java) S 31533 31535 30787 0 -1 64 15538 0 0 0 40 7 0 0 17 0 9 0 90142501 886030336 31318 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31539] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31539/stat : 31539 (java) S 31533 31535 30787 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90142502 886030336 31318 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31540] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31540/stat : 31540 (java) S 31533 31535 30787 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90142502 886030336 31318 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31541] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31541/stat : 31541 (java) S 31533 31535 30787 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90142504 886030336 31318 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31542] ppid=31533 vsize=865264 CPUtime=0.52
/proc/31535/task/31542/stat : 31542 (java) S 31533 31535 30787 0 -1 64 785 0 0 0 51 1 0 0 16 0 9 0 90142504 886030336 31318 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31543] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31543/stat : 31543 (java) S 31533 31535 30787 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90142504 886030336 31318 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31544] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31544/stat : 31544 (java) S 31533 31535 30787 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90142504 886030336 31318 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 865264

[startup+25.5028 s]
/proc/loadavg: 2.00 2.00 1.94 3/89 31544
/proc/meminfo: memFree=967984/2055920 swapFree=4192812/4192956
[pid=31535] ppid=31533 vsize=865264 CPUtime=25.24
/proc/31535/stat : 31535 (java) S 31533 31535 30787 0 -1 0 31970 0 1 0 2502 22 0 0 18 0 9 0 90142499 886030336 31327 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31535/statm: 216316 31327 2000 9 0 210785 0
[pid=31535/tid=31537] ppid=31533 vsize=865264 CPUtime=24.18
/proc/31535/task/31537/stat : 31537 (java) R 31533 31535 30787 0 -1 64 14915 0 1 0 2406 12 0 0 25 0 9 0 90142500 886030336 31327 996147200 134512640 134550932 4294955888 18446744073709551615 4127489015 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31538] ppid=31533 vsize=865264 CPUtime=0.5
/proc/31535/task/31538/stat : 31538 (java) S 31533 31535 30787 0 -1 64 15538 0 0 0 43 7 0 0 17 0 9 0 90142501 886030336 31327 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31539] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31539/stat : 31539 (java) S 31533 31535 30787 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90142502 886030336 31327 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31540] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31540/stat : 31540 (java) S 31533 31535 30787 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90142502 886030336 31327 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31541] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31541/stat : 31541 (java) S 31533 31535 30787 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90142504 886030336 31327 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31542] ppid=31533 vsize=865264 CPUtime=0.52
/proc/31535/task/31542/stat : 31542 (java) S 31533 31535 30787 0 -1 64 786 0 0 0 51 1 0 0 16 0 9 0 90142504 886030336 31327 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31543] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31543/stat : 31543 (java) S 31533 31535 30787 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90142504 886030336 31327 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31544] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31544/stat : 31544 (java) S 31533 31535 30787 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90142504 886030336 31327 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 865264

[startup+51.1021 s]
/proc/loadavg: 2.00 2.00 1.94 3/89 31544
/proc/meminfo: memFree=967984/2055920 swapFree=4192812/4192956
[pid=31535] ppid=31533 vsize=865264 CPUtime=50.6
/proc/31535/stat : 31535 (java) S 31533 31535 30787 0 -1 0 31987 0 1 0 5037 23 0 0 18 0 9 0 90142499 886030336 31334 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31535/statm: 216316 31334 2003 9 0 210785 0
[pid=31535/tid=31537] ppid=31533 vsize=865264 CPUtime=49.5
/proc/31535/task/31537/stat : 31537 (java) R 31533 31535 30787 0 -1 64 14925 0 1 0 4937 13 0 0 25 0 9 0 90142500 886030336 31334 996147200 134512640 134550932 4294955888 18446744073709551615 4127451306 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31538] ppid=31533 vsize=865264 CPUtime=0.53
/proc/31535/task/31538/stat : 31538 (java) S 31533 31535 30787 0 -1 64 15538 0 0 0 46 7 0 0 16 0 9 0 90142501 886030336 31334 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31539] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31539/stat : 31539 (java) S 31533 31535 30787 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90142502 886030336 31334 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31540] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31540/stat : 31540 (java) S 31533 31535 30787 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90142502 886030336 31334 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31541] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31541/stat : 31541 (java) S 31533 31535 30787 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90142504 886030336 31334 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31542] ppid=31533 vsize=865264 CPUtime=0.54
/proc/31535/task/31542/stat : 31542 (java) S 31533 31535 30787 0 -1 64 793 0 0 0 53 1 0 0 15 0 9 0 90142504 886030336 31334 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31543] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31543/stat : 31543 (java) S 31533 31535 30787 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90142504 886030336 31334 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31544] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31544/stat : 31544 (java) S 31533 31535 30787 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90142504 886030336 31334 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 865264

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

[startup+63.9012 s]
/proc/loadavg: 2.00 2.00 1.94 3/89 31544
/proc/meminfo: memFree=968048/2055920 swapFree=4192812/4192956
[pid=31535] ppid=31533 vsize=865264 CPUtime=63.28
/proc/31535/stat : 31535 (java) S 31533 31535 30787 0 -1 0 31989 0 1 0 6304 24 0 0 18 0 9 0 90142499 886030336 31334 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31535/statm: 216316 31334 2003 9 0 210785 0
[pid=31535/tid=31537] ppid=31533 vsize=865264 CPUtime=62.16
/proc/31535/task/31537/stat : 31537 (java) R 31533 31535 30787 0 -1 64 14927 0 1 0 6203 13 0 0 25 0 9 0 90142500 886030336 31334 996147200 134512640 134550932 4294955888 18446744073709551615 4127619013 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31538] ppid=31533 vsize=865264 CPUtime=0.54
/proc/31535/task/31538/stat : 31538 (java) S 31533 31535 30787 0 -1 64 15538 0 0 0 47 7 0 0 16 0 9 0 90142501 886030336 31334 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31539] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31539/stat : 31539 (java) S 31533 31535 30787 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90142502 886030336 31334 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31540] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31540/stat : 31540 (java) S 31533 31535 30787 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90142502 886030336 31334 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31541] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31541/stat : 31541 (java) S 31533 31535 30787 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90142504 886030336 31334 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31542] ppid=31533 vsize=865264 CPUtime=0.54
/proc/31535/task/31542/stat : 31542 (java) S 31533 31535 30787 0 -1 64 793 0 0 0 53 1 0 0 15 0 9 0 90142504 886030336 31334 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31543] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31543/stat : 31543 (java) S 31533 31535 30787 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90142504 886030336 31334 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31544] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31544/stat : 31544 (java) S 31533 31535 30787 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90142504 886030336 31334 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 63.28
Current children cumulated vsize (KiB) 865264

[startup+70.3017 s]
/proc/loadavg: 2.00 2.00 1.94 3/89 31544
/proc/meminfo: memFree=968048/2055920 swapFree=4192812/4192956
[pid=31535] ppid=31533 vsize=865264 CPUtime=69.62
/proc/31535/stat : 31535 (java) S 31533 31535 30787 0 -1 0 31992 0 1 0 6938 24 0 0 18 0 9 0 90142499 886030336 31336 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31535/statm: 216316 31336 2003 9 0 210785 0
[pid=31535/tid=31537] ppid=31533 vsize=865264 CPUtime=68.5
/proc/31535/task/31537/stat : 31537 (java) R 31533 31535 30787 0 -1 64 14928 0 1 0 6836 14 0 0 25 0 9 0 90142500 886030336 31336 996147200 134512640 134550932 4294955888 18446744073709551615 4127566775 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31538] ppid=31533 vsize=865264 CPUtime=0.54
/proc/31535/task/31538/stat : 31538 (java) S 31533 31535 30787 0 -1 64 15538 0 0 0 47 7 0 0 17 0 9 0 90142501 886030336 31336 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31539] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31539/stat : 31539 (java) S 31533 31535 30787 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90142502 886030336 31336 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31540] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31540/stat : 31540 (java) S 31533 31535 30787 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90142502 886030336 31336 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31541] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31541/stat : 31541 (java) S 31533 31535 30787 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90142504 886030336 31336 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31542] ppid=31533 vsize=865264 CPUtime=0.55
/proc/31535/task/31542/stat : 31542 (java) S 31533 31535 30787 0 -1 64 795 0 0 0 54 1 0 0 16 0 9 0 90142504 886030336 31336 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31543] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31543/stat : 31543 (java) S 31533 31535 30787 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90142504 886030336 31336 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31544] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31544/stat : 31544 (java) S 31533 31535 30787 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90142504 886030336 31336 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 69.62
Current children cumulated vsize (KiB) 865264

[startup+71.9019 s]
/proc/loadavg: 2.00 2.00 1.94 3/89 31544
/proc/meminfo: memFree=968048/2055920 swapFree=4192812/4192956
[pid=31535] ppid=31533 vsize=865264 CPUtime=71.21
/proc/31535/stat : 31535 (java) S 31533 31535 30787 0 -1 0 31992 0 1 0 7097 24 0 0 18 0 9 0 90142499 886030336 31336 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31535/statm: 216316 31336 2003 9 0 210785 0
[pid=31535/tid=31537] ppid=31533 vsize=865264 CPUtime=70.09
/proc/31535/task/31537/stat : 31537 (java) R 31533 31535 30787 0 -1 64 14928 0 1 0 6995 14 0 0 25 0 9 0 90142500 886030336 31336 996147200 134512640 134550932 4294955888 18446744073709551615 4127658000 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31538] ppid=31533 vsize=865264 CPUtime=0.54
/proc/31535/task/31538/stat : 31538 (java) S 31533 31535 30787 0 -1 64 15538 0 0 0 47 7 0 0 16 0 9 0 90142501 886030336 31336 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31539] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31539/stat : 31539 (java) S 31533 31535 30787 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90142502 886030336 31336 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31540] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31540/stat : 31540 (java) S 31533 31535 30787 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90142502 886030336 31336 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31541] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31541/stat : 31541 (java) S 31533 31535 30787 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90142504 886030336 31336 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31542] ppid=31533 vsize=865264 CPUtime=0.55
/proc/31535/task/31542/stat : 31542 (java) S 31533 31535 30787 0 -1 64 795 0 0 0 54 1 0 0 16 0 9 0 90142504 886030336 31336 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31543] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31543/stat : 31543 (java) S 31533 31535 30787 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90142504 886030336 31336 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31544] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31544/stat : 31544 (java) S 31533 31535 30787 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90142504 886030336 31336 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 71.21
Current children cumulated vsize (KiB) 865264

[startup+72.7019 s]
/proc/loadavg: 2.00 2.00 1.94 3/89 31544
/proc/meminfo: memFree=968048/2055920 swapFree=4192812/4192956
[pid=31535] ppid=31533 vsize=865264 CPUtime=72
/proc/31535/stat : 31535 (java) S 31533 31535 30787 0 -1 0 31994 0 1 0 7176 24 0 0 18 0 9 0 90142499 886030336 31337 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31535/statm: 216316 31337 2003 9 0 210785 0
[pid=31535/tid=31537] ppid=31533 vsize=865264 CPUtime=70.88
/proc/31535/task/31537/stat : 31537 (java) R 31533 31535 30787 0 -1 64 14929 0 1 0 7074 14 0 0 25 0 9 0 90142500 886030336 31337 996147200 134512640 134550932 4294955888 18446744073709551615 4127505932 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31538] ppid=31533 vsize=865264 CPUtime=0.54
/proc/31535/task/31538/stat : 31538 (java) S 31533 31535 30787 0 -1 64 15538 0 0 0 47 7 0 0 17 0 9 0 90142501 886030336 31337 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31539] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31539/stat : 31539 (java) S 31533 31535 30787 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90142502 886030336 31337 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31540] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31540/stat : 31540 (java) S 31533 31535 30787 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90142502 886030336 31337 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31541] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31541/stat : 31541 (java) S 31533 31535 30787 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90142504 886030336 31337 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31542] ppid=31533 vsize=865264 CPUtime=0.55
/proc/31535/task/31542/stat : 31542 (java) S 31533 31535 30787 0 -1 64 796 0 0 0 54 1 0 0 15 0 9 0 90142504 886030336 31337 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31543] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31543/stat : 31543 (java) S 31533 31535 30787 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90142504 886030336 31337 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31544] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31544/stat : 31544 (java) S 31533 31535 30787 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90142504 886030336 31337 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 72
Current children cumulated vsize (KiB) 865264

[startup+73.102 s]
/proc/loadavg: 2.00 2.00 1.94 3/89 31544
/proc/meminfo: memFree=968048/2055920 swapFree=4192812/4192956
[pid=31535] ppid=31533 vsize=865264 CPUtime=72.4
/proc/31535/stat : 31535 (java) S 31533 31535 30787 0 -1 0 31995 0 1 0 7216 24 0 0 18 0 9 0 90142499 886030336 31337 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31535/statm: 216316 31337 2003 9 0 210785 0
[pid=31535/tid=31537] ppid=31533 vsize=865264 CPUtime=71.28
/proc/31535/task/31537/stat : 31537 (java) R 31533 31535 30787 0 -1 64 14930 0 1 0 7114 14 0 0 25 0 9 0 90142500 886030336 31337 996147200 134512640 134550932 4294955888 18446744073709551615 4127451306 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31538] ppid=31533 vsize=865264 CPUtime=0.54
/proc/31535/task/31538/stat : 31538 (java) S 31533 31535 30787 0 -1 64 15538 0 0 0 47 7 0 0 17 0 9 0 90142501 886030336 31337 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31539] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31539/stat : 31539 (java) S 31533 31535 30787 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90142502 886030336 31337 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31540] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31540/stat : 31540 (java) S 31533 31535 30787 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90142502 886030336 31337 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31541] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31541/stat : 31541 (java) S 31533 31535 30787 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90142504 886030336 31337 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31542] ppid=31533 vsize=865264 CPUtime=0.55
/proc/31535/task/31542/stat : 31542 (java) S 31533 31535 30787 0 -1 64 796 0 0 0 54 1 0 0 15 0 9 0 90142504 886030336 31337 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31543] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31543/stat : 31543 (java) S 31533 31535 30787 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90142504 886030336 31337 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31544] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31544/stat : 31544 (java) S 31533 31535 30787 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90142504 886030336 31337 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 72.4
Current children cumulated vsize (KiB) 865264

[startup+73.302 s]
/proc/loadavg: 2.00 2.00 1.94 3/89 31544
/proc/meminfo: memFree=968048/2055920 swapFree=4192812/4192956
[pid=31535] ppid=31533 vsize=865264 CPUtime=72.6
/proc/31535/stat : 31535 (java) S 31533 31535 30787 0 -1 0 31998 0 1 0 7236 24 0 0 18 0 9 0 90142499 886030336 31340 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31535/statm: 216316 31340 2003 9 0 210785 0
[pid=31535/tid=31537] ppid=31533 vsize=865264 CPUtime=71.47
/proc/31535/task/31537/stat : 31537 (java) R 31533 31535 30787 0 -1 64 14932 0 1 0 7133 14 0 0 25 0 9 0 90142500 886030336 31340 996147200 134512640 134550932 4294955888 18446744073709551615 4125926758 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31538] ppid=31533 vsize=865264 CPUtime=0.54
/proc/31535/task/31538/stat : 31538 (java) S 31533 31535 30787 0 -1 64 15538 0 0 0 47 7 0 0 17 0 9 0 90142501 886030336 31340 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31539] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31539/stat : 31539 (java) S 31533 31535 30787 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90142502 886030336 31340 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31540] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31540/stat : 31540 (java) S 31533 31535 30787 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90142502 886030336 31340 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31541] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31541/stat : 31541 (java) S 31533 31535 30787 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90142504 886030336 31340 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31542] ppid=31533 vsize=865264 CPUtime=0.55
/proc/31535/task/31542/stat : 31542 (java) S 31533 31535 30787 0 -1 64 797 0 0 0 54 1 0 0 15 0 9 0 90142504 886030336 31340 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31543] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31543/stat : 31543 (java) S 31533 31535 30787 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90142504 886030336 31340 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31535/tid=31544] ppid=31533 vsize=865264 CPUtime=0
/proc/31535/task/31544/stat : 31544 (java) S 31533 31535 30787 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90142504 886030336 31340 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 72.6
Current children cumulated vsize (KiB) 865264

Child status: 0
Real time (s): 73.4025
CPU time (s): 72.6999
CPU user time (s): 72.433
CPU system time (s): 0.266959
CPU usage (%): 99.0428
Max. virtual memory (cumulated for all children) (KiB): 865264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 72.433
system time used= 0.266959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32036
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4726
involuntary context switches= 7202

runsolver used 0.106983 second user time and 0.235964 second system time

The end

Launcher Data 

Begin job on node50 at 2009-07-19 21:13:09
IDJOB=2116189
IDBENCH=56435
IDSOLVER=780
FILE ID=node50/2116189-1248030789
PBS_JOBID= 9528949
Free space on /tmp= 66344 MiB

SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-100-6.xml
COMMAND LINE= java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file BENCHNAME -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2116189-1248030789/watcher-2116189-1248030789 -o /tmp/evaluation-result-2116189-1248030789/solver-2116189-1248030789 -C 1800 -W 2000 -M 900  java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116189-1248030789.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 822c8f0751f873c488a8bb0f5ccf69cd
RANDOM SEED=285384094

node50.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1086552 kB
Buffers:        101484 kB
Cached:         650664 kB
SwapCached:          0 kB
Active:         349116 kB
Inactive:       516096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1086552 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6244 kB
Writeback:           0 kB
Mapped:         130892 kB
Slab:            89164 kB
Committed_AS:  1258708 kB
PageTables:       2060 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66336 MiB
End job on node50 at 2009-07-19 21:14:22