Trace number 1074797

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
Abscon 112v4 ESACSAT 697.197 703.891

DiagnosticValue
CHECKS333048000
NODES539041

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-95-1.xml
MD5SUM1badaae3ade26737a7c9af09708047c4
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 benchmark55.6205
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1265
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 (download as text)

0.06/0.09	
0.06/0.09	Abscon 112 (May, 2008)
0.18/0.23	
0.18/0.23	   configuration
0.18/0.23	     name=esac.xml
0.27/0.31	   
0.27/0.31	   instance
0.27/0.32	     name=HOME/instance-1074797-1215179790.xml
0.27/0.35	   
0.27/0.35	   domains being loaded...
0.38/0.44	   
0.38/0.44	   variables being loaded...
0.48/0.55	     nbVariables=400  nbDomainTypes=400  minDomainSize=1167  maxDomainSize=1265  nbTotalValues=485593
0.48/0.55	       =>  wckTime=0.309  cpuTime=0.2  mem=18M667
0.48/0.55	   
0.48/0.55	   predicates being loaded...
0.58/0.61	   
0.58/0.61	   constraints being loaded...
3.23/3.36	     nbConstraints=7620  nbGlobalConstraints=7620  nbSharedBinaryRepresentations=0  minDegree=39  maxDegree=39
3.23/3.36	     minArity=2  avgArity=2.05  maxArity=20  nbGenerators=0  nbFusions=0  symmetryWckTime=1.267  symmetryCpuTime=1.12
3.23/3.36	     nbCliques=20
3.23/3.36	       =>  wckTime=3.121  cpuTime=2.66  mem=58M284
3.44/3.54	   
3.44/3.55	   solver IterativeSystematicSolver being built... 
3.53/3.61	   
3.53/3.61	   INFO : Forward propagation technique limited 
3.63/3.71	       =>  wckTime=3.47  cpuTime=2.79  mem=54M686
3.63/3.77	   
3.63/3.77	   preprocessing
3.63/3.77	     nbConstraintChecks=0  nbPropagations=400  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
3.63/3.77	     detectedInconsistency=no
3.63/3.77	       =>  wckTime=0.042  cpuTime=0.03  mem=56M617
9.67/9.86	   
9.67/9.86	   INFO : Stopping use of transposition table (mapSize=0, nbTooLargekeys=745, mem=92M242)
697.12/703.83	   
697.12/703.83	   search
697.12/703.83	     run=25  nbConstraintChecks=333047733  minDepth=139  maxDepth=400  nbPropagations=26752406  nbRevisions=0
697.12/703.83	     nbUselessRevisions=0  nbAssignments=539041  nbFailedAssignments=507926  nbInferredBacktracks=969
697.12/703.83	     nbBacktracks=26362  nbVisitedNodes=1070469  nbRestartNogoods=1536  nbFoundSolutions=1  nbSEliminables=0
697.12/703.83	     nbREliminables=18.39  nbIEliminables=0  nbDEliminables=0  nbPEliminables=0
697.12/703.83	       =>  wckTime=700.103  cpuTime=691.24  mem=84M442
697.12/703.83	   
697.12/703.83	   global
697.12/703.83	     nbConstraintChecks=333047733  nbPropagations=26752806  nbRestartNogoods=1536  solvingWckTime=700.106
697.12/703.83	     solvingCpuTime=691.24  expiredTime=no  totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=693.99
697.12/703.83	     globalCpuTime=694.09
697.12/703.83	       =>  wckTime=703.594  cpuTime=694.04  mem=84M442
697.12/703.83	   
697.12/703.83	s SATISFIABLE
697.12/703.83	v 854 946 803 0 222 901 64 403 284 747 631 979 615 487 1063 274 129 685 536 1118 59 527 970 454 925 403 1111 237 1030 407 306 726 155 1162 1227 205 0 585 798 440 39 60 983 1118 555 600 743 394 155 650 1171 54 309 411 1018 212 179 798 0 186 1022 668 1016 806 809 411 512 1172 129 329 588 215 1089 950 303 45 606 18 747 0 88 348 0 328 809 579 973 1212 682 725 626 219 421 301 482 408 1060 193 209 870 1060 989 115 640 150 1118 582 309 61 816 388 487 0 726 132 1169 222 317 831 910 1246 460 581 306 640 370 901 518 1141 1066 1180 242 59 991 0 88 725 611 206 792 286 690 453 367 894 594 0 29 388 968 507 231 77 1171 297 1104 435 301 162 801 60 1086 274 1223 162 0 831 64 501 1169 206 136 1022 608 705 981 474 383 900 677 1089 557 193 395 717 460 0 646 1171 802 109 372 670 62 262 594 1030 889 305 209 163 627 1083 705 854 60 1232 150 586 471 894 266 1121 109 303 962 372 766 117 0 330 621 82 452 676 570 130 284 212 1181 946 806 891 748 501 39 411 1122 1026 1206 1162 601 585 490 754 859 163 370 42 82 314 279 203 1061 1084 682 962 399 18 0 796 69 0 1048 394 1169 121 705 465 235 679 170 650 552 668 306 950 1122 476 880 989 266 1086 1205 121 476 582 1177 948 216 555 518 372 193 411 0 864 648 354 768 546 39 1157 130 1061 685 77 330 399 279 82 816 0 367 477 25 716 897 754 172 329 1063 1118 367 1018 0 705 61 482 862 237 544 1026 140 512 608 1181 959 404 768 388 671 84 286 897 205 1078 611 348 734 789 467 29 970 552 14 219 1187 1118 163 505 570 306 274 983 1180 889 1092 69 796 380 1018 440 231 350 0 648 743 203 136 1118 802 981 229 870 490 380 587 1048 117 45 309 404 170 442 62 630 705 215 0 
697.12/703.83	d NODES 539041
697.12/703.83	d CHECKS 333047733
697.12/703.84	   
697.12/703.84	   totalWckTime=703.65  totalCpuTime=694.09

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1074797-1215179790/watcher-1074797-1215179790 -o /tmp/evaluation-result-1074797-1215179790/solver-1074797-1215179790 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1074797-1215179790.xml 

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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 4/81 4230
/proc/meminfo: memFree=860048/2055920 swapFree=4095080/4192956
[pid=4230] ppid=4228 vsize=18572 CPUtime=0
/proc/4230/stat : 4230 (runsolver) R 4228 4230 898 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 1547646698 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 264519609639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4230/statm: 4643 292 257 25 0 2626 0

[startup+0.0819381 s]
/proc/loadavg: 2.00 2.02 2.00 4/81 4230
/proc/meminfo: memFree=860048/2055920 swapFree=4095080/4192956
[pid=4230] ppid=4228 vsize=865856 CPUtime=0.06
/proc/4230/stat : 4230 (java) S 4228 4230 898 0 -1 0 3410 0 1 0 4 2 0 0 18 0 9 0 1547646698 886636544 2916 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4230/statm: 216464 2916 1571 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856

[startup+0.102941 s]
/proc/loadavg: 2.00 2.02 2.00 4/81 4230
/proc/meminfo: memFree=860048/2055920 swapFree=4095080/4192956
[pid=4230] ppid=4228 vsize=865884 CPUtime=0.08
/proc/4230/stat : 4230 (java) S 4228 4230 898 0 -1 0 3724 0 1 0 6 2 0 0 18 0 9 0 1547646698 886665216 3187 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4230/statm: 216471 3187 1688 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884

[startup+0.30297 s]
/proc/loadavg: 2.00 2.02 2.00 4/81 4230
/proc/meminfo: memFree=860048/2055920 swapFree=4095080/4192956
[pid=4230] ppid=4228 vsize=866196 CPUtime=0.27
/proc/4230/stat : 4230 (java) S 4228 4230 898 0 -1 0 5622 0 1 0 24 3 0 0 18 0 9 0 1547646698 886984704 5036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4230/statm: 216549 5036 1903 9 0 211097 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866196

[startup+0.703018 s]
/proc/loadavg: 2.00 2.02 2.00 4/81 4230
/proc/meminfo: memFree=860048/2055920 swapFree=4095080/4192956
[pid=4230] ppid=4228 vsize=867688 CPUtime=0.68
/proc/4230/stat : 4230 (java) S 4228 4230 898 0 -1 0 10586 0 1 0 61 7 0 0 18 0 9 0 1547646698 888512512 9946 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4230/statm: 216922 9946 2010 9 0 211428 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867688

[startup+1.50112 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 4239
/proc/meminfo: memFree=810888/2055920 swapFree=4095080/4192956
[pid=4230] ppid=4228 vsize=867600 CPUtime=1.47
/proc/4230/stat : 4230 (java) S 4228 4230 898 0 -1 0 20722 0 1 0 129 18 0 0 18 0 9 0 1547646698 888422400 20057 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4230/statm: 216900 20057 2004 9 0 211428 0
[pid=4230/tid=4232] ppid=4228 vsize=867600 CPUtime=1.17
/proc/4230/task/4232/stat : 4232 (java) R 4228 4230 898 0 -1 64 15770 0 1 0 102 15 0 0 25 0 9 0 1547646699 888422400 20057 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4233] ppid=4228 vsize=867600 CPUtime=0.07
/proc/4230/task/4233/stat : 4233 (java) S 4228 4230 898 0 -1 64 3570 0 0 0 6 1 0 0 16 0 9 0 1547646701 888422400 20057 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4234] ppid=4228 vsize=867600 CPUtime=0
/proc/4230/task/4234/stat : 4234 (java) S 4228 4230 898 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1547646701 888422400 20057 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4235] ppid=4228 vsize=867600 CPUtime=0
/proc/4230/task/4235/stat : 4235 (java) S 4228 4230 898 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1547646701 888422400 20057 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4236] ppid=4228 vsize=867600 CPUtime=0
/proc/4230/task/4236/stat : 4236 (java) S 4228 4230 898 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1547646703 888422400 20057 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4237] ppid=4228 vsize=867600 CPUtime=0.19
/proc/4230/task/4237/stat : 4237 (java) R 4228 4230 898 0 -1 64 686 0 0 0 19 0 0 0 16 0 9 0 1547646703 888422400 20057 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4238] ppid=4228 vsize=867600 CPUtime=0
/proc/4230/task/4238/stat : 4238 (java) S 4228 4230 898 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1547646703 888422400 20057 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4239] ppid=4228 vsize=867600 CPUtime=0
/proc/4230/task/4239/stat : 4239 (java) S 4228 4230 898 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1547646703 888422400 20057 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867600

[startup+3.10133 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 4239
/proc/meminfo: memFree=787208/2055920 swapFree=4095080/4192956
[pid=4230] ppid=4228 vsize=867924 CPUtime=3.04
/proc/4230/stat : 4230 (java) S 4228 4230 898 0 -1 0 26416 587 1 0 248 48 7 1 18 0 9 0 1547646698 888754176 20127 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4230/statm: 216981 20127 2014 9 0 211509 0
[pid=4230/tid=4232] ppid=4228 vsize=867924 CPUtime=2.69
/proc/4230/task/4232/stat : 4232 (java) R 4228 4230 898 0 -1 64 21184 587 1 0 217 44 7 1 25 0 9 0 1547646699 888754176 20127 996147200 134512640 134550740 4294955968 18446744073709551615 4127046596 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4233] ppid=4228 vsize=867924 CPUtime=0.15
/proc/4230/task/4233/stat : 4233 (java) S 4228 4230 898 0 -1 64 3570 587 0 0 6 1 7 1 17 0 9 0 1547646701 888754176 20127 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4234] ppid=4228 vsize=867924 CPUtime=0.08
/proc/4230/task/4234/stat : 4234 (java) S 4228 4230 898 0 -1 64 13 587 0 0 0 0 7 1 16 0 9 0 1547646701 888754176 20127 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4235] ppid=4228 vsize=867924 CPUtime=0.08
/proc/4230/task/4235/stat : 4235 (java) S 4228 4230 898 0 -1 64 5 587 0 0 0 0 7 1 16 0 9 0 1547646701 888754176 20127 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4236] ppid=4228 vsize=867924 CPUtime=0.08
/proc/4230/task/4236/stat : 4236 (java) S 4228 4230 898 0 -1 64 1 587 0 0 0 0 7 1 18 0 9 0 1547646703 888754176 20127 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4237] ppid=4228 vsize=867924 CPUtime=0.33
/proc/4230/task/4237/stat : 4237 (java) S 4228 4230 898 0 -1 64 830 587 0 0 24 1 7 1 15 0 9 0 1547646703 888754176 20127 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4238] ppid=4228 vsize=867924 CPUtime=0.08
/proc/4230/task/4238/stat : 4238 (java) S 4228 4230 898 0 -1 64 1 587 0 0 0 0 7 1 19 0 9 0 1547646703 888754176 20127 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4239] ppid=4228 vsize=867924 CPUtime=0.08
/proc/4230/task/4239/stat : 4239 (java) S 4228 4230 898 0 -1 64 10 587 0 0 0 0 7 1 15 0 9 0 1547646703 888754176 20127 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867924

[startup+6.30274 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 4243
/proc/meminfo: memFree=773064/2055920 swapFree=4095080/4192956
[pid=4230] ppid=4228 vsize=868100 CPUtime=6.21
/proc/4230/stat : 4230 (java) S 4228 4230 898 0 -1 0 39437 587 1 0 561 52 7 1 18 0 9 0 1547646698 888934400 24189 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4230/statm: 217025 24189 2637 9 0 211531 0
[pid=4230/tid=4232] ppid=4228 vsize=868100 CPUtime=5.62
/proc/4230/task/4232/stat : 4232 (java) R 4228 4230 898 0 -1 64 25727 587 1 0 508 46 7 1 25 0 9 0 1547646699 888934400 24189 996147200 134512640 134550740 4294955968 18446744073709551615 4127178586 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4233] ppid=4228 vsize=868100 CPUtime=0.32
/proc/4230/task/4233/stat : 4233 (java) S 4228 4230 898 0 -1 64 11919 587 0 0 21 3 7 1 16 0 9 0 1547646701 888934400 24189 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4234] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4234/stat : 4234 (java) S 4228 4230 898 0 -1 64 17 587 0 0 0 0 7 1 17 0 9 0 1547646701 888934400 24189 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4235] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4235/stat : 4235 (java) S 4228 4230 898 0 -1 64 9 587 0 0 0 0 7 1 16 0 9 0 1547646701 888934400 24189 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4236] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4236/stat : 4236 (java) S 4228 4230 898 0 -1 64 1 587 0 0 0 0 7 1 18 0 9 0 1547646703 888934400 24189 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4237] ppid=4228 vsize=868100 CPUtime=0.39
/proc/4230/task/4237/stat : 4237 (java) S 4228 4230 898 0 -1 64 920 587 0 0 30 1 7 1 15 0 9 0 1547646703 888934400 24189 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4238] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4238/stat : 4238 (java) S 4228 4230 898 0 -1 64 1 587 0 0 0 0 7 1 19 0 9 0 1547646703 888934400 24189 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4239] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4239/stat : 4239 (java) R 4228 4230 898 0 -1 64 41 587 0 0 0 0 7 1 15 0 9 0 1547646703 888934400 24189 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 868100

[startup+12.7016 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 4243
/proc/meminfo: memFree=746120/2055920 swapFree=4095080/4192956
[pid=4230] ppid=4228 vsize=868100 CPUtime=12.54
/proc/4230/stat : 4230 (java) S 4228 4230 898 0 -1 0 48760 587 1 0 1191 55 7 1 18 0 9 0 1547646698 888934400 30889 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4230/statm: 217025 30889 2637 9 0 211531 0
[pid=4230/tid=4232] ppid=4228 vsize=868100 CPUtime=11.77
/proc/4230/task/4232/stat : 4232 (java) R 4228 4230 898 0 -1 64 28259 587 1 0 1123 46 7 1 25 0 9 0 1547646699 888934400 30889 996147200 134512640 134550740 4294955968 18446744073709551615 4127170127 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4233] ppid=4228 vsize=868100 CPUtime=0.45
/proc/4230/task/4233/stat : 4233 (java) S 4228 4230 898 0 -1 64 18637 587 0 0 31 6 7 1 16 0 9 0 1547646701 888934400 30889 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4234] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4234/stat : 4234 (java) S 4228 4230 898 0 -1 64 17 587 0 0 0 0 7 1 16 0 9 0 1547646701 888934400 30889 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4235] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4235/stat : 4235 (java) S 4228 4230 898 0 -1 64 9 587 0 0 0 0 7 1 16 0 9 0 1547646701 888934400 30889 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4236] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4236/stat : 4236 (java) S 4228 4230 898 0 -1 64 1 587 0 0 0 0 7 1 18 0 9 0 1547646703 888934400 30889 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4237] ppid=4228 vsize=868100 CPUtime=0.44
/proc/4230/task/4237/stat : 4237 (java) S 4228 4230 898 0 -1 64 993 587 0 0 35 1 7 1 15 0 9 0 1547646703 888934400 30889 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4238] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4238/stat : 4238 (java) S 4228 4230 898 0 -1 64 1 587 0 0 0 0 7 1 19 0 9 0 1547646703 888934400 30889 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4239] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4239/stat : 4239 (java) S 4228 4230 898 0 -1 64 41 587 0 0 0 0 7 1 15 0 9 0 1547646703 888934400 30889 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 868100

[startup+25.5022 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 4243
/proc/meminfo: memFree=745416/2055920 swapFree=4095080/4192956
[pid=4230] ppid=4228 vsize=868100 CPUtime=25.22
/proc/4230/stat : 4230 (java) S 4228 4230 898 0 -1 0 48972 587 1 0 2458 56 7 1 18 0 9 0 1547646698 888934400 31071 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4230/statm: 217025 31071 2637 9 0 211531 0
[pid=4230/tid=4232] ppid=4228 vsize=868100 CPUtime=24.34
/proc/4230/task/4232/stat : 4232 (java) R 4228 4230 898 0 -1 64 28282 587 1 0 2380 46 7 1 25 0 9 0 1547646699 888934400 31071 996147200 134512640 134550740 4294955968 18446744073709551615 4127187948 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4233] ppid=4228 vsize=868100 CPUtime=0.54
/proc/4230/task/4233/stat : 4233 (java) S 4228 4230 898 0 -1 64 18813 587 0 0 40 6 7 1 16 0 9 0 1547646701 888934400 31071 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4234] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4234/stat : 4234 (java) S 4228 4230 898 0 -1 64 17 587 0 0 0 0 7 1 16 0 9 0 1547646701 888934400 31071 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4235] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4235/stat : 4235 (java) S 4228 4230 898 0 -1 64 9 587 0 0 0 0 7 1 16 0 9 0 1547646701 888934400 31071 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4236] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4236/stat : 4236 (java) S 4228 4230 898 0 -1 64 1 587 0 0 0 0 7 1 18 0 9 0 1547646703 888934400 31071 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4237] ppid=4228 vsize=868100 CPUtime=0.46
/proc/4230/task/4237/stat : 4237 (java) S 4228 4230 898 0 -1 64 1006 587 0 0 37 1 7 1 16 0 9 0 1547646703 888934400 31071 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4238] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4238/stat : 4238 (java) S 4228 4230 898 0 -1 64 1 587 0 0 0 0 7 1 19 0 9 0 1547646703 888934400 31071 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4239] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4239/stat : 4239 (java) S 4228 4230 898 0 -1 64 41 587 0 0 0 0 7 1 15 0 9 0 1547646703 888934400 31071 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 868100

[startup+51.1025 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 4243
/proc/meminfo: memFree=745160/2055920 swapFree=4095080/4192956
[pid=4230] ppid=4228 vsize=868100 CPUtime=50.58
/proc/4230/stat : 4230 (java) S 4228 4230 898 0 -1 0 49079 587 1 0 4994 56 7 1 18 0 9 0 1547646698 888934400 31138 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4230/statm: 217025 31138 2637 9 0 211531 0
[pid=4230/tid=4232] ppid=4228 vsize=868100 CPUtime=49.58
/proc/4230/task/4232/stat : 4232 (java) R 4228 4230 898 0 -1 64 28322 587 1 0 4904 46 7 1 25 0 9 0 1547646699 888934400 31138 996147200 134512640 134550740 4294955968 18446744073709551615 4127248601 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4233] ppid=4228 vsize=868100 CPUtime=0.66
/proc/4230/task/4233/stat : 4233 (java) S 4228 4230 898 0 -1 64 18880 587 0 0 51 7 7 1 16 0 9 0 1547646701 888934400 31138 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4234] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4234/stat : 4234 (java) S 4228 4230 898 0 -1 64 17 587 0 0 0 0 7 1 16 0 9 0 1547646701 888934400 31138 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4235] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4235/stat : 4235 (java) S 4228 4230 898 0 -1 64 9 587 0 0 0 0 7 1 16 0 9 0 1547646701 888934400 31138 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4236] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4236/stat : 4236 (java) S 4228 4230 898 0 -1 64 1 587 0 0 0 0 7 1 18 0 9 0 1547646703 888934400 31138 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4237] ppid=4228 vsize=868100 CPUtime=0.46
/proc/4230/task/4237/stat : 4237 (java) S 4228 4230 898 0 -1 64 1006 587 0 0 37 1 7 1 16 0 9 0 1547646703 888934400 31138 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4238] ppid=4228 vsize=868100 CPUtime=0.08

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

[pid=4230/tid=4232] ppid=4228 vsize=868100 CPUtime=574.18
/proc/4230/task/4232/stat : 4232 (java) R 4228 4230 898 0 -1 64 29063 587 1 0 57360 50 7 1 25 0 9 0 1547646699 888934400 31549 996147200 134512640 134550740 4294955968 18446744073709551615 4127248526 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4233] ppid=4228 vsize=868100 CPUtime=2.23
/proc/4230/task/4233/stat : 4233 (java) S 4228 4230 898 0 -1 64 19288 587 0 0 203 12 7 1 16 0 9 0 1547646701 888934400 31549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4234] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4234/stat : 4234 (java) S 4228 4230 898 0 -1 64 17 587 0 0 0 0 7 1 16 0 9 0 1547646701 888934400 31549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4235] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4235/stat : 4235 (java) S 4228 4230 898 0 -1 64 9 587 0 0 0 0 7 1 16 0 9 0 1547646701 888934400 31549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4236] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4236/stat : 4236 (java) S 4228 4230 898 0 -1 64 1 587 0 0 0 0 7 1 18 0 9 0 1547646703 888934400 31549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4237] ppid=4228 vsize=868100 CPUtime=0.47
/proc/4230/task/4237/stat : 4237 (java) S 4228 4230 898 0 -1 64 1010 587 0 0 38 1 7 1 16 0 9 0 1547646703 888934400 31549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4238] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4238/stat : 4238 (java) S 4228 4230 898 0 -1 64 1 587 0 0 0 0 7 1 19 0 9 0 1547646703 888934400 31549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4239] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4239/stat : 4239 (java) S 4228 4230 898 0 -1 64 41 587 0 0 0 0 7 1 15 0 9 0 1547646703 888934400 31549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 576.75
Current children cumulated vsize (KiB) 868100

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 4249
/proc/meminfo: memFree=743176/2055920 swapFree=4095080/4192956
[pid=4230] ppid=4228 vsize=868100 CPUtime=636.19
/proc/4230/stat : 4230 (java) S 4228 4230 898 0 -1 0 50341 587 1 0 63545 66 7 1 18 0 9 0 1547646698 888934400 31574 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4230/statm: 217025 31574 2637 9 0 211531 0
[pid=4230/tid=4232] ppid=4228 vsize=868100 CPUtime=633.5
/proc/4230/task/4232/stat : 4232 (java) R 4228 4230 898 0 -1 64 29147 587 1 0 63292 50 7 1 25 0 9 0 1547646699 888934400 31574 996147200 134512640 134550740 4294955968 18446744073709551615 4127186830 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4233] ppid=4228 vsize=868100 CPUtime=2.35
/proc/4230/task/4233/stat : 4233 (java) S 4228 4230 898 0 -1 64 19313 587 0 0 214 13 7 1 16 0 9 0 1547646701 888934400 31574 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4234] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4234/stat : 4234 (java) S 4228 4230 898 0 -1 64 17 587 0 0 0 0 7 1 16 0 9 0 1547646701 888934400 31574 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4235] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4235/stat : 4235 (java) S 4228 4230 898 0 -1 64 9 587 0 0 0 0 7 1 16 0 9 0 1547646701 888934400 31574 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4236] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4236/stat : 4236 (java) S 4228 4230 898 0 -1 64 1 587 0 0 0 0 7 1 18 0 9 0 1547646703 888934400 31574 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4237] ppid=4228 vsize=868100 CPUtime=0.47
/proc/4230/task/4237/stat : 4237 (java) S 4228 4230 898 0 -1 64 1010 587 0 0 38 1 7 1 16 0 9 0 1547646703 888934400 31574 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4238] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4238/stat : 4238 (java) S 4228 4230 898 0 -1 64 1 587 0 0 0 0 7 1 19 0 9 0 1547646703 888934400 31574 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4239] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4239/stat : 4239 (java) S 4228 4230 898 0 -1 64 41 587 0 0 0 0 7 1 15 0 9 0 1547646703 888934400 31574 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 636.19
Current children cumulated vsize (KiB) 868100

[startup+702.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 4249
/proc/meminfo: memFree=743048/2055920 swapFree=4095080/4192956
[pid=4230] ppid=4228 vsize=868100 CPUtime=695.63
/proc/4230/stat : 4230 (java) S 4228 4230 898 0 -1 0 50430 587 1 0 69488 67 7 1 18 0 9 0 1547646698 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4230/statm: 217025 31586 2637 9 0 211531 0
[pid=4230/tid=4232] ppid=4228 vsize=868100 CPUtime=692.8
/proc/4230/task/4232/stat : 4232 (java) R 4228 4230 898 0 -1 64 29224 587 1 0 69222 50 7 1 25 0 9 0 1547646699 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4127267835 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4233] ppid=4228 vsize=868100 CPUtime=2.48
/proc/4230/task/4233/stat : 4233 (java) S 4228 4230 898 0 -1 64 19325 587 0 0 227 13 7 1 17 0 9 0 1547646701 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4234] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4234/stat : 4234 (java) S 4228 4230 898 0 -1 64 17 587 0 0 0 0 7 1 16 0 9 0 1547646701 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4235] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4235/stat : 4235 (java) S 4228 4230 898 0 -1 64 9 587 0 0 0 0 7 1 16 0 9 0 1547646701 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4236] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4236/stat : 4236 (java) S 4228 4230 898 0 -1 64 1 587 0 0 0 0 7 1 18 0 9 0 1547646703 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4237] ppid=4228 vsize=868100 CPUtime=0.47
/proc/4230/task/4237/stat : 4237 (java) S 4228 4230 898 0 -1 64 1010 587 0 0 38 1 7 1 16 0 9 0 1547646703 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4238] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4238/stat : 4238 (java) S 4228 4230 898 0 -1 64 1 587 0 0 0 0 7 1 19 0 9 0 1547646703 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4239] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4239/stat : 4239 (java) S 4228 4230 898 0 -1 64 41 587 0 0 0 0 7 1 15 0 9 0 1547646703 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 695.63
Current children cumulated vsize (KiB) 868100

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

[startup+703.103 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 4249
/proc/meminfo: memFree=743048/2055920 swapFree=4095080/4192956
[pid=4230] ppid=4228 vsize=868100 CPUtime=696.42
/proc/4230/stat : 4230 (java) S 4228 4230 898 0 -1 0 50431 587 1 0 69567 67 7 1 18 0 9 0 1547646698 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4230/statm: 217025 31586 2637 9 0 211531 0
[pid=4230/tid=4232] ppid=4228 vsize=868100 CPUtime=693.59
/proc/4230/task/4232/stat : 4232 (java) R 4228 4230 898 0 -1 64 29225 587 1 0 69301 50 7 1 25 0 9 0 1547646699 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4127190414 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4233] ppid=4228 vsize=868100 CPUtime=2.48
/proc/4230/task/4233/stat : 4233 (java) S 4228 4230 898 0 -1 64 19325 587 0 0 227 13 7 1 17 0 9 0 1547646701 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4234] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4234/stat : 4234 (java) S 4228 4230 898 0 -1 64 17 587 0 0 0 0 7 1 16 0 9 0 1547646701 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4235] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4235/stat : 4235 (java) S 4228 4230 898 0 -1 64 9 587 0 0 0 0 7 1 16 0 9 0 1547646701 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4236] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4236/stat : 4236 (java) S 4228 4230 898 0 -1 64 1 587 0 0 0 0 7 1 18 0 9 0 1547646703 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4237] ppid=4228 vsize=868100 CPUtime=0.47
/proc/4230/task/4237/stat : 4237 (java) S 4228 4230 898 0 -1 64 1010 587 0 0 38 1 7 1 16 0 9 0 1547646703 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4238] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4238/stat : 4238 (java) S 4228 4230 898 0 -1 64 1 587 0 0 0 0 7 1 19 0 9 0 1547646703 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4239] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4239/stat : 4239 (java) S 4228 4230 898 0 -1 64 41 587 0 0 0 0 7 1 15 0 9 0 1547646703 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 696.42
Current children cumulated vsize (KiB) 868100

[startup+703.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 4249
/proc/meminfo: memFree=743048/2055920 swapFree=4095080/4192956
[pid=4230] ppid=4228 vsize=868100 CPUtime=696.82
/proc/4230/stat : 4230 (java) S 4228 4230 898 0 -1 0 50431 587 1 0 69607 67 7 1 18 0 9 0 1547646698 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4230/statm: 217025 31586 2637 9 0 211531 0
[pid=4230/tid=4232] ppid=4228 vsize=868100 CPUtime=693.99
/proc/4230/task/4232/stat : 4232 (java) R 4228 4230 898 0 -1 64 29225 587 1 0 69341 50 7 1 25 0 9 0 1547646699 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4127190414 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4233] ppid=4228 vsize=868100 CPUtime=2.48
/proc/4230/task/4233/stat : 4233 (java) S 4228 4230 898 0 -1 64 19325 587 0 0 227 13 7 1 17 0 9 0 1547646701 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4234] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4234/stat : 4234 (java) S 4228 4230 898 0 -1 64 17 587 0 0 0 0 7 1 16 0 9 0 1547646701 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4235] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4235/stat : 4235 (java) S 4228 4230 898 0 -1 64 9 587 0 0 0 0 7 1 16 0 9 0 1547646701 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4236] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4236/stat : 4236 (java) S 4228 4230 898 0 -1 64 1 587 0 0 0 0 7 1 18 0 9 0 1547646703 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4237] ppid=4228 vsize=868100 CPUtime=0.47
/proc/4230/task/4237/stat : 4237 (java) S 4228 4230 898 0 -1 64 1010 587 0 0 38 1 7 1 16 0 9 0 1547646703 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4238] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4238/stat : 4238 (java) S 4228 4230 898 0 -1 64 1 587 0 0 0 0 7 1 19 0 9 0 1547646703 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4239] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4239/stat : 4239 (java) R 4228 4230 898 0 -1 64 41 587 0 0 0 0 7 1 15 0 9 0 1547646703 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 696.82
Current children cumulated vsize (KiB) 868100

[startup+703.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 4249
/proc/meminfo: memFree=743048/2055920 swapFree=4095080/4192956
[pid=4230] ppid=4228 vsize=868100 CPUtime=697.02
/proc/4230/stat : 4230 (java) S 4228 4230 898 0 -1 0 50431 587 1 0 69627 67 7 1 18 0 9 0 1547646698 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4230/statm: 217025 31586 2637 9 0 211531 0
[pid=4230/tid=4232] ppid=4228 vsize=868100 CPUtime=694.19
/proc/4230/task/4232/stat : 4232 (java) R 4228 4230 898 0 -1 64 29225 587 1 0 69361 50 7 1 25 0 9 0 1547646699 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4127190414 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4233] ppid=4228 vsize=868100 CPUtime=2.48
/proc/4230/task/4233/stat : 4233 (java) S 4228 4230 898 0 -1 64 19325 587 0 0 227 13 7 1 17 0 9 0 1547646701 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4234] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4234/stat : 4234 (java) S 4228 4230 898 0 -1 64 17 587 0 0 0 0 7 1 16 0 9 0 1547646701 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4235] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4235/stat : 4235 (java) S 4228 4230 898 0 -1 64 9 587 0 0 0 0 7 1 16 0 9 0 1547646701 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4236] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4236/stat : 4236 (java) S 4228 4230 898 0 -1 64 1 587 0 0 0 0 7 1 18 0 9 0 1547646703 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4237] ppid=4228 vsize=868100 CPUtime=0.47
/proc/4230/task/4237/stat : 4237 (java) S 4228 4230 898 0 -1 64 1010 587 0 0 38 1 7 1 16 0 9 0 1547646703 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4238] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4238/stat : 4238 (java) S 4228 4230 898 0 -1 64 1 587 0 0 0 0 7 1 19 0 9 0 1547646703 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4239] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4239/stat : 4239 (java) S 4228 4230 898 0 -1 64 41 587 0 0 0 0 7 1 15 0 9 0 1547646703 888934400 31586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 697.02
Current children cumulated vsize (KiB) 868100

[startup+703.801 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 4249
/proc/meminfo: memFree=743048/2055920 swapFree=4095080/4192956
[pid=4230] ppid=4228 vsize=868100 CPUtime=697.12
/proc/4230/stat : 4230 (java) S 4228 4230 898 0 -1 0 50436 587 1 0 69637 67 7 1 18 0 9 0 1547646698 888934400 31589 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4230/statm: 217025 31589 2637 9 0 211531 0
[pid=4230/tid=4232] ppid=4228 vsize=868100 CPUtime=694.29
/proc/4230/task/4232/stat : 4232 (java) R 4228 4230 898 0 -1 64 29230 587 1 0 69371 50 7 1 25 0 9 0 1547646699 888934400 31589 996147200 134512640 134550740 4294955968 18446744073709551615 4127247344 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4233] ppid=4228 vsize=868100 CPUtime=2.48
/proc/4230/task/4233/stat : 4233 (java) S 4228 4230 898 0 -1 64 19325 587 0 0 227 13 7 1 17 0 9 0 1547646701 888934400 31589 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4234] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4234/stat : 4234 (java) S 4228 4230 898 0 -1 64 17 587 0 0 0 0 7 1 16 0 9 0 1547646701 888934400 31589 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4235] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4235/stat : 4235 (java) S 4228 4230 898 0 -1 64 9 587 0 0 0 0 7 1 16 0 9 0 1547646701 888934400 31589 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4236] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4236/stat : 4236 (java) S 4228 4230 898 0 -1 64 1 587 0 0 0 0 7 1 18 0 9 0 1547646703 888934400 31589 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4237] ppid=4228 vsize=868100 CPUtime=0.47
/proc/4230/task/4237/stat : 4237 (java) S 4228 4230 898 0 -1 64 1010 587 0 0 38 1 7 1 17 0 9 0 1547646703 888934400 31589 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4238] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4238/stat : 4238 (java) S 4228 4230 898 0 -1 64 1 587 0 0 0 0 7 1 19 0 9 0 1547646703 888934400 31589 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4230/tid=4239] ppid=4228 vsize=868100 CPUtime=0.08
/proc/4230/task/4239/stat : 4239 (java) S 4228 4230 898 0 -1 64 41 587 0 0 0 0 7 1 15 0 9 0 1547646703 888934400 31589 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 697.12
Current children cumulated vsize (KiB) 868100

Child status: 0
Real time (s): 703.891
CPU time (s): 697.197
CPU user time (s): 696.487
CPU system time (s): 0.709892
CPU usage (%): 99.049
Max. virtual memory (cumulated for all children) (KiB): 868100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 696.487
system time used= 0.709892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51054
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= 22070
involuntary context switches= 37890

runsolver used 0.861868 second user time and 2.36164 second system time

The end

Launcher Data (download as text)

Begin job on node40 at 2008-07-04 15:56:30
IDJOB=1074797
IDBENCH=56441
IDSOLVER=364
FILE ID=node40/1074797-1215179790
PBS_JOBID= 7881484
Free space on /tmp= 66548 MiB

SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-95-1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1074797-1215179790/watcher-1074797-1215179790 -o /tmp/evaluation-result-1074797-1215179790/solver-1074797-1215179790 -C 1800 -W 2200 -M 900 --output-limit 1,15  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1074797-1215179790.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 1badaae3ade26737a7c9af09708047c4
RANDOM SEED=885381542

node40.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.209
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.209
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:        860528 kB
Buffers:         56692 kB
Cached:         233288 kB
SwapCached:      91976 kB
Active:        1038976 kB
Inactive:       109864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        860528 kB
SwapTotal:     4192956 kB
SwapFree:      4095080 kB
Dirty:            3096 kB
Writeback:           0 kB
Mapped:         874592 kB
Slab:            30040 kB
Committed_AS:  3811892 kB
PageTables:       3544 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= 66548 MiB
End job on node40 at 2008-07-04 16:08:14