Trace number 2094608

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 10.2884 10.3933

DiagnosticValue
CHECKS686963
NODES5878

General information on the benchmark

Namecsp/os-taillard-15/
normalized-os-taillard-15-100-7.xml
MD5SUMab54a3befb7bc28d039702d9f31a2fb5
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 benchmark1.9497
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints3150
Maximum constraint arity2
Maximum domain size916
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3150
Global constraints used (with number of constraints)

Solver Data 

0.04/0.09	
0.04/0.09	Abscon 112 (May, 2008)
0.20/0.24	
0.20/0.24	   configuration
0.20/0.24	     name=esac.xml
0.20/0.28	   
0.20/0.28	   instance
0.20/0.28	     name=HOME/instance-2094608-1247404770.xml
0.30/0.31	   
0.30/0.31	   domains being loaded...
0.30/0.36	   
0.30/0.36	   variables being loaded...
0.40/0.43	     nbVariables=225  nbDomainTypes=225  minDomainSize=818  maxDomainSize=916  nbTotalValues=195434
0.40/0.43	       =>  wckTime=0.181  cpuTime=0.14  mem=12M847
0.40/0.43	   
0.40/0.43	   predicates being loaded...
0.40/0.49	   
0.40/0.49	   constraints being loaded...
1.69/1.71	     nbConstraints=3165  nbGlobalConstraints=3165  nbSharedBinaryRepresentations=0  minDegree=29  maxDegree=29
1.69/1.71	     minArity=2  avgArity=2.06  maxArity=15  nbGenerators=0  nbFusions=0  symmetryWckTime=0.506  symmetryCpuTime=0.42
1.69/1.71	     nbCliques=15
1.69/1.71	       =>  wckTime=1.468  cpuTime=1.21  mem=46M81
1.79/1.85	   
1.79/1.85	   solver IterativeSystematicSolver being built... 
1.89/1.92	   
1.89/1.92	   INFO : Forward propagation technique limited 
1.99/2.01	       =>  wckTime=1.762  cpuTime=1.34  mem=34M357
1.99/2.05	   
1.99/2.05	   preprocessing
1.99/2.05	     nbConstraintChecks=0  nbPropagations=225  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.99/2.05	     detectedInconsistency=no
1.99/2.05	       =>  wckTime=0.03  cpuTime=0.02  mem=36M277
8.53/8.68	   
8.53/8.68	   INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=51M478)
10.21/10.34	   
10.21/10.34	   search
10.21/10.34	     run=13  nbConstraintChecks=686963  minDepth=156  maxDepth=225  nbPropagations=344540  nbRevisions=0
10.21/10.34	     nbUselessRevisions=0  nbAssignments=5878  nbFailedAssignments=4084  nbBacktracks=190  nbVisitedNodes=10152
10.21/10.34	     nbRestartNogoods=631  nbFoundSolutions=1  nbSEliminables=0  nbREliminables=13.61  nbIEliminables=0
10.21/10.34	     nbDEliminables=0  nbPEliminables=0
10.21/10.34	       =>  wckTime=8.324  cpuTime=8.02  mem=51M813
10.21/10.34	   
10.21/10.34	   global
10.21/10.34	     nbConstraintChecks=686963  nbPropagations=344765  nbRestartNogoods=631  solvingWckTime=8.326  solvingCpuTime=8.03
10.21/10.34	     expiredTime=no  totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=9.35  globalCpuTime=9.43
10.21/10.34	       =>  wckTime=10.097  cpuTime=9.38  mem=51M813
10.21/10.35	   
10.21/10.35	s SATISFIABLE
10.21/10.35	v 415 468 150 98 302 827 712 619 347 0 63 220 743 531 565 319 52 415 668 0 62 248 91 736 511 643 841 190 229 551 121 430 353 0 516 177 63 265 645 590 797 150 721 911 856 585 160 407 228 473 98 772 861 543 673 52 731 350 265 0 158 859 0 604 652 390 759 516 121 489 728 334 91 255 241 0 541 177 264 687 146 530 347 491 832 84 392 434 766 60 642 264 695 764 154 660 558 0 115 110 617 337 491 59 431 371 0 308 579 423 787 573 687 523 233 617 221 295 84 116 274 468 667 50 808 126 630 319 547 390 167 766 859 241 407 836 390 815 630 126 305 782 558 295 460 0 238 705 151 752 85 0 815 448 634 604 229 497 48 752 643 547 423 190 328 146 248 674 531 473 156 62 343 143 388 590 856 0 874 759 184 458 135 431 559 353 0 249 156 522 673 859 617 78 834 40 0 836 585 737 392 334 305 665 489 460 804 235 60 143 416 403 565 586 668 110 551 491 736 255 430 156 350 63 0 
10.21/10.35	d NODES 5878
10.21/10.35	d CHECKS 686963
10.21/10.35	   
10.21/10.35	   totalWckTime=10.165  totalCpuTime=9.43

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-2094608-1247404770/watcher-2094608-1247404770 -o /tmp/evaluation-result-2094608-1247404770/solver-2094608-1247404770 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2094608-1247404770.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): 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.02 2.00 1.91 3/81 29686
/proc/meminfo: memFree=1710344/2055920 swapFree=4192812/4192956
[pid=29686] ppid=29684 vsize=862776 CPUtime=0.04
/proc/29686/stat : 29686 (java) S 29684 29686 29077 0 -1 0 2419 0 1 0 3 1 0 0 18 0 7 0 27540332 883482624 1992 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29686/statm: 215694 1992 910 9 0 210609 0
[pid=29686/tid=29687] ppid=29684 vsize=862776 CPUtime=0.02
/proc/29686/task/29687/stat : 29687 (java) R 29684 29686 29077 0 -1 64 1707 0 1 0 2 0 0 0 18 0 7 0 27540333 883482624 1992 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29688] ppid=29684 vsize=862776 CPUtime=0
/proc/29686/task/29688/stat : 29688 (java) S 29684 29686 29077 0 -1 64 2 0 0 0 0 0 0 0 19 0 7 0 27540334 883482624 1992 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29689] ppid=29684 vsize=862776 CPUtime=0
/proc/29686/task/29689/stat : 29689 (java) S 29684 29686 29077 0 -1 64 11 0 0 0 0 0 0 0 19 0 7 0 27540335 883482624 1992 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29690] ppid=29684 vsize=862776 CPUtime=0
/proc/29686/task/29690/stat : 29690 (java) S 29684 29686 29077 0 -1 64 4 0 0 0 0 0 0 0 20 0 7 0 27540335 883482624 1992 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29691] ppid=29684 vsize=862776 CPUtime=0
/proc/29686/task/29691/stat : 29691 (java) S 29684 29686 29077 0 -1 64 2 0 0 0 0 0 0 0 18 0 7 0 27540337 883482624 1992 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29692] ppid=29684 vsize=862776 CPUtime=0
/proc/29686/task/29692/stat : 29692 (java) S 29684 29686 29077 0 -1 64 15 0 0 0 0 0 0 0 19 0 7 0 27540337 883482624 1992 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

[startup+0.058358 s]
/proc/loadavg: 2.02 2.00 1.91 3/81 29686
/proc/meminfo: memFree=1710344/2055920 swapFree=4192812/4192956
[pid=29686] ppid=29684 vsize=864024 CPUtime=0.04
/proc/29686/stat : 29686 (java) S 29684 29686 29077 0 -1 0 2727 0 1 0 3 1 0 0 18 0 9 0 27540332 884760576 2278 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29686/statm: 216006 2278 1080 9 0 210899 0
[pid=29686/tid=29687] ppid=29684 vsize=864024 CPUtime=0.03
/proc/29686/task/29687/stat : 29687 (java) R 29684 29686 29077 0 -1 64 1821 0 1 0 3 0 0 0 20 0 9 0 27540333 884760576 2278 996147200 134512640 134550932 4294955968 18446744073709551615 103778338 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29688] ppid=29684 vsize=864024 CPUtime=0
/proc/29686/task/29688/stat : 29688 (java) S 29684 29686 29077 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 27540334 884760576 2278 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29689] ppid=29684 vsize=864024 CPUtime=0
/proc/29686/task/29689/stat : 29689 (java) S 29684 29686 29077 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 27540335 884760576 2278 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29690] ppid=29684 vsize=864024 CPUtime=0
/proc/29686/task/29690/stat : 29690 (java) S 29684 29686 29077 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 27540335 884760576 2278 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29691] ppid=29684 vsize=864024 CPUtime=0
/proc/29686/task/29691/stat : 29691 (java) S 29684 29686 29077 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27540337 884760576 2278 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29692] ppid=29684 vsize=864024 CPUtime=0
/proc/29686/task/29692/stat : 29692 (java) S 29684 29686 29077 0 -1 64 209 0 0 0 0 0 0 0 19 0 9 0 27540337 884760576 2278 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864024

[startup+0.157431 s]
/proc/loadavg: 2.02 2.00 1.91 3/81 29686
/proc/meminfo: memFree=1710344/2055920 swapFree=4192812/4192956
[pid=29686] ppid=29684 vsize=866012 CPUtime=0.15
/proc/29686/stat : 29686 (java) S 29684 29686 29077 0 -1 0 4283 0 1 0 13 2 0 0 18 0 9 0 27540332 886796288 3709 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29686/statm: 216503 3709 1845 9 0 210981 0
[pid=29686/tid=29687] ppid=29684 vsize=866012 CPUtime=0.13
/proc/29686/task/29687/stat : 29687 (java) D 29684 29686 29077 0 -1 64 3371 0 1 0 12 1 0 0 18 0 9 0 27540333 886796288 3709 996147200 134512640 134550932 4294955968 18446744073709551615 104263691 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=866012 CPUtime=0
/proc/29686/task/29688/stat : 29688 (java) S 29684 29686 29077 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 27540334 886796288 3709 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29689] ppid=29684 vsize=866012 CPUtime=0
/proc/29686/task/29689/stat : 29689 (java) S 29684 29686 29077 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 27540335 886796288 3709 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29690] ppid=29684 vsize=866012 CPUtime=0
/proc/29686/task/29690/stat : 29690 (java) S 29684 29686 29077 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 27540335 886796288 3709 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29691] ppid=29684 vsize=866012 CPUtime=0
/proc/29686/task/29691/stat : 29691 (java) S 29684 29686 29077 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27540337 886796288 3709 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29692] ppid=29684 vsize=866012 CPUtime=0
/proc/29686/task/29692/stat : 29692 (java) R 29684 29686 29077 0 -1 64 215 0 0 0 0 0 0 0 19 0 9 0 27540337 886796288 3709 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 866012

[startup+0.301347 s]
/proc/loadavg: 2.02 2.00 1.91 3/81 29686
/proc/meminfo: memFree=1710344/2055920 swapFree=4192812/4192956
[pid=29686] ppid=29684 vsize=867248 CPUtime=0.3
/proc/29686/stat : 29686 (java) S 29684 29686 29077 0 -1 0 5975 0 1 0 27 3 0 0 18 0 9 0 27540332 888061952 5341 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29686/statm: 216812 5343 1984 9 0 211270 0
[pid=29686/tid=29687] ppid=29684 vsize=867248 CPUtime=0.24
/proc/29686/task/29687/stat : 29687 (java) R 29684 29686 29077 0 -1 64 4985 0 1 0 22 2 0 0 17 0 9 0 27540333 888061952 5343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=867248 CPUtime=0
/proc/29686/task/29688/stat : 29688 (java) S 29684 29686 29077 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 27540334 888061952 5343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29689] ppid=29684 vsize=867248 CPUtime=0
/proc/29686/task/29689/stat : 29689 (java) S 29684 29686 29077 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 27540335 888061952 5343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29690] ppid=29684 vsize=867248 CPUtime=0
/proc/29686/task/29690/stat : 29690 (java) S 29684 29686 29077 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 27540335 888061952 5344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29691] ppid=29684 vsize=867248 CPUtime=0
/proc/29686/task/29691/stat : 29691 (java) S 29684 29686 29077 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27540337 888061952 5344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29692] ppid=29684 vsize=867248 CPUtime=0.03
/proc/29686/task/29692/stat : 29692 (java) S 29684 29686 29077 0 -1 64 295 0 0 0 3 0 0 0 16 0 9 0 27540337 888061952 5344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 867248

[startup+0.701389 s]
/proc/loadavg: 2.02 2.00 1.91 3/81 29686
/proc/meminfo: memFree=1710344/2055920 swapFree=4192812/4192956
[pid=29686] ppid=29684 vsize=868476 CPUtime=0.69
/proc/29686/stat : 29686 (java) S 29684 29686 29077 0 -1 0 10213 0 1 0 64 5 0 0 18 0 9 0 27540332 889319424 9567 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29686/statm: 217119 9567 2036 9 0 211555 0
[pid=29686/tid=29687] ppid=29684 vsize=868476 CPUtime=0.53
/proc/29686/task/29687/stat : 29687 (java) R 29684 29686 29077 0 -1 64 8827 0 1 0 49 4 0 0 19 0 9 0 27540333 889319424 9567 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=868476 CPUtime=0
/proc/29686/task/29688/stat : 29688 (java) S 29684 29686 29077 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 27540334 889319424 9567 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29689] ppid=29684 vsize=868476 CPUtime=0
/proc/29686/task/29689/stat : 29689 (java) S 29684 29686 29077 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 27540335 889319424 9567 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29690] ppid=29684 vsize=868476 CPUtime=0
/proc/29686/task/29690/stat : 29690 (java) S 29684 29686 29077 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 27540335 889319424 9567 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29691] ppid=29684 vsize=868476 CPUtime=0
/proc/29686/task/29691/stat : 29691 (java) S 29684 29686 29077 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27540337 889319424 9567 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29692] ppid=29684 vsize=868476 CPUtime=0.15
/proc/29686/task/29692/stat : 29692 (java) R 29684 29686 29077 0 -1 64 689 0 0 0 15 0 0 0 16 0 9 0 27540337 889319424 9567 996147200 134512640 134550932 4294955968 18446744073709551615 101712193 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 868476

[startup+1.50146 s]
/proc/loadavg: 2.02 2.00 1.91 3/90 29695
/proc/meminfo: memFree=1668728/2055920 swapFree=4192812/4192956
[pid=29686] ppid=29684 vsize=868800 CPUtime=1.49
/proc/29686/stat : 29686 (java) S 29684 29686 29077 0 -1 0 17626 319 1 0 123 23 3 0 18 0 10 0 27540332 889651200 15294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29686/statm: 217200 15294 2052 9 0 211636 0
[pid=29686/tid=29687] ppid=29684 vsize=868800 CPUtime=1.23
/proc/29686/task/29687/stat : 29687 (java) R 29684 29686 29077 0 -1 64 15931 319 1 0 100 20 3 0 17 0 10 0 27540333 889651200 15294 996147200 134512640 134550932 4294955968 18446744073709551615 4127076758 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29688] ppid=29684 vsize=868800 CPUtime=0.03
/proc/29686/task/29688/stat : 29688 (java) S 29684 29686 29077 0 -1 64 3 319 0 0 0 0 3 0 16 0 10 0 27540334 889651200 15294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29689] ppid=29684 vsize=868800 CPUtime=0.03
/proc/29686/task/29689/stat : 29689 (java) S 29684 29686 29077 0 -1 64 11 319 0 0 0 0 3 0 19 0 10 0 27540335 889651200 15294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29690] ppid=29684 vsize=868800 CPUtime=0.03
/proc/29686/task/29690/stat : 29690 (java) S 29684 29686 29077 0 -1 64 4 319 0 0 0 0 3 0 20 0 10 0 27540335 889651200 15294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29691] ppid=29684 vsize=868800 CPUtime=0.03
/proc/29686/task/29691/stat : 29691 (java) S 29684 29686 29077 0 -1 64 2 319 0 0 0 0 3 0 18 0 10 0 27540337 889651200 15294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29692] ppid=29684 vsize=868800 CPUtime=0.25
/proc/29686/task/29692/stat : 29692 (java) S 29684 29686 29077 0 -1 64 868 319 0 0 22 0 3 0 15 0 10 0 27540337 889651200 15294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29694] ppid=29684 vsize=868800 CPUtime=0.03
/proc/29686/task/29694/stat : 29694 (java) S 29684 29686 29077 0 -1 64 0 319 0 0 0 0 3 0 19 0 10 0 27540337 889651200 15294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29695] ppid=29684 vsize=868800 CPUtime=0.03
/proc/29686/task/29695/stat : 29695 (java) S 29684 29686 29077 0 -1 64 6 319 0 0 0 0 3 0 15 0 10 0 27540337 889651200 15294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 868800

[startup+3.10262 s]
/proc/loadavg: 2.02 2.00 1.91 3/90 29699
/proc/meminfo: memFree=1646136/2055920 swapFree=4192812/4192956
[pid=29686] ppid=29684 vsize=868800 CPUtime=3.08
/proc/29686/stat : 29686 (java) S 29684 29686 29077 0 -1 0 32978 444 1 0 276 28 3 1 18 0 9 0 27540332 889651200 20171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29686/statm: 217200 20171 2662 9 0 211636 0
[pid=29686/tid=29687] ppid=29684 vsize=868800 CPUtime=2.6
/proc/29686/task/29687/stat : 29687 (java) R 29684 29686 29077 0 -1 64 22469 444 1 0 233 23 3 1 25 0 9 0 27540333 889651200 20171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29688] ppid=29684 vsize=868800 CPUtime=0.16
/proc/29686/task/29688/stat : 29688 (java) R 29684 29686 29077 0 -1 64 8685 444 0 0 11 1 3 1 16 0 9 0 27540334 889651200 20171 996147200 134512640 134550932 4294955968 18446744073709551615 102546970 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29689] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29689/stat : 29689 (java) S 29684 29686 29077 0 -1 64 19 444 0 0 0 0 3 1 17 0 9 0 27540335 889651200 20171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29690] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29690/stat : 29690 (java) S 29684 29686 29077 0 -1 64 13 444 0 0 0 0 3 1 16 0 9 0 27540335 889651200 20171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29691] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29691/stat : 29691 (java) S 29684 29686 29077 0 -1 64 2 444 0 0 0 0 3 1 18 0 9 0 27540337 889651200 20171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29692] ppid=29684 vsize=868800 CPUtime=0.35
/proc/29686/task/29692/stat : 29692 (java) S 29684 29686 29077 0 -1 64 975 444 0 0 30 1 3 1 15 0 9 0 27540337 889651200 20171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29694] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29694/stat : 29694 (java) S 29684 29686 29077 0 -1 64 0 444 0 0 0 0 3 1 19 0 9 0 27540337 889651200 20171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29695] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29695/stat : 29695 (java) S 29684 29686 29077 0 -1 64 6 444 0 0 0 0 3 1 15 0 9 0 27540337 889651200 20171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 868800

[startup+6.30293 s]
/proc/loadavg: 2.02 2.00 1.91 3/90 29699
/proc/meminfo: memFree=1620152/2055920 swapFree=4192812/4192956
[pid=29686] ppid=29684 vsize=868800 CPUtime=6.25
/proc/29686/stat : 29686 (java) S 29684 29686 29077 0 -1 0 38429 444 1 0 591 30 3 1 18 0 9 0 27540332 889651200 25439 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29686/statm: 217200 25439 2662 9 0 211636 0
[pid=29686/tid=29687] ppid=29684 vsize=868800 CPUtime=5.67
/proc/29686/task/29687/stat : 29687 (java) R 29684 29686 29077 0 -1 64 22598 444 1 0 539 24 3 1 25 0 9 0 27540333 889651200 25439 996147200 134512640 134550932 4294955968 18446744073709551615 4127196188 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29688] ppid=29684 vsize=868800 CPUtime=0.23
/proc/29686/task/29688/stat : 29688 (java) S 29684 29686 29077 0 -1 64 13939 444 0 0 16 3 3 1 16 0 9 0 27540334 889651200 25439 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29689] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29689/stat : 29689 (java) S 29684 29686 29077 0 -1 64 19 444 0 0 0 0 3 1 16 0 9 0 27540335 889651200 25439 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29690] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29690/stat : 29690 (java) S 29684 29686 29077 0 -1 64 13 444 0 0 0 0 3 1 16 0 9 0 27540335 889651200 25439 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29691] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29691/stat : 29691 (java) S 29684 29686 29077 0 -1 64 2 444 0 0 0 0 3 1 18 0 9 0 27540337 889651200 25439 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29692] ppid=29684 vsize=868800 CPUtime=0.38
/proc/29686/task/29692/stat : 29692 (java) S 29684 29686 29077 0 -1 64 1014 444 0 0 33 1 3 1 15 0 9 0 27540337 889651200 25439 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29694] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29694/stat : 29694 (java) S 29684 29686 29077 0 -1 64 0 444 0 0 0 0 3 1 19 0 9 0 27540337 889651200 25439 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29695] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29695/stat : 29695 (java) S 29684 29686 29077 0 -1 64 35 444 0 0 0 0 3 1 15 0 9 0 27540337 889651200 25439 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 868800

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

[startup+7.90109 s]
/proc/loadavg: 2.02 2.00 1.91 3/90 29699
/proc/meminfo: memFree=1615864/2055920 swapFree=4192812/4192956
[pid=29686] ppid=29684 vsize=868800 CPUtime=7.83
/proc/29686/stat : 29686 (java) S 29684 29686 29077 0 -1 0 39938 444 1 0 748 31 3 1 18 0 9 0 27540332 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29686/statm: 217200 26943 2662 9 0 211636 0
[pid=29686/tid=29687] ppid=29684 vsize=868800 CPUtime=7.21
/proc/29686/task/29687/stat : 29687 (java) R 29684 29686 29077 0 -1 64 22602 444 1 0 693 24 3 1 25 0 9 0 27540333 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4127074791 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29688] ppid=29684 vsize=868800 CPUtime=0.27
/proc/29686/task/29688/stat : 29688 (java) S 29684 29686 29077 0 -1 64 15439 444 0 0 19 4 3 1 16 0 9 0 27540334 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29689] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29689/stat : 29689 (java) S 29684 29686 29077 0 -1 64 19 444 0 0 0 0 3 1 16 0 9 0 27540335 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29690] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29690/stat : 29690 (java) S 29684 29686 29077 0 -1 64 13 444 0 0 0 0 3 1 16 0 9 0 27540335 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29691] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29691/stat : 29691 (java) S 29684 29686 29077 0 -1 64 2 444 0 0 0 0 3 1 18 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29692] ppid=29684 vsize=868800 CPUtime=0.39
/proc/29686/task/29692/stat : 29692 (java) S 29684 29686 29077 0 -1 64 1019 444 0 0 34 1 3 1 15 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29694] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29694/stat : 29694 (java) S 29684 29686 29077 0 -1 64 0 444 0 0 0 0 3 1 19 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29695] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29695/stat : 29695 (java) S 29684 29686 29077 0 -1 64 35 444 0 0 0 0 3 1 15 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.83
Current children cumulated vsize (KiB) 868800

[startup+9.50124 s]
/proc/loadavg: 2.02 2.00 1.91 3/90 29699
/proc/meminfo: memFree=1612408/2055920 swapFree=4192812/4192956
[pid=29686] ppid=29684 vsize=868800 CPUtime=9.42
/proc/29686/stat : 29686 (java) S 29684 29686 29077 0 -1 0 39940 444 1 0 907 31 3 1 18 0 9 0 27540332 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29686/statm: 217200 26943 2662 9 0 211636 0
[pid=29686/tid=29687] ppid=29684 vsize=868800 CPUtime=8.78
/proc/29686/task/29687/stat : 29687 (java) R 29684 29686 29077 0 -1 64 22604 444 1 0 850 24 3 1 25 0 9 0 27540333 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4127255755 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29688] ppid=29684 vsize=868800 CPUtime=0.28
/proc/29686/task/29688/stat : 29688 (java) S 29684 29686 29077 0 -1 64 15439 444 0 0 20 4 3 1 16 0 9 0 27540334 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29689] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29689/stat : 29689 (java) S 29684 29686 29077 0 -1 64 19 444 0 0 0 0 3 1 16 0 9 0 27540335 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29690] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29690/stat : 29690 (java) S 29684 29686 29077 0 -1 64 13 444 0 0 0 0 3 1 16 0 9 0 27540335 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29691] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29691/stat : 29691 (java) S 29684 29686 29077 0 -1 64 2 444 0 0 0 0 3 1 18 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29692] ppid=29684 vsize=868800 CPUtime=0.39
/proc/29686/task/29692/stat : 29692 (java) S 29684 29686 29077 0 -1 64 1019 444 0 0 34 1 3 1 16 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29694] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29694/stat : 29694 (java) S 29684 29686 29077 0 -1 64 0 444 0 0 0 0 3 1 19 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29695] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29695/stat : 29695 (java) S 29684 29686 29077 0 -1 64 35 444 0 0 0 0 3 1 15 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.42
Current children cumulated vsize (KiB) 868800

[startup+9.90728 s]
/proc/loadavg: 2.02 2.00 1.91 3/90 29699
/proc/meminfo: memFree=1612408/2055920 swapFree=4192812/4192956
[pid=29686] ppid=29684 vsize=868800 CPUtime=9.82
/proc/29686/stat : 29686 (java) S 29684 29686 29077 0 -1 0 39940 444 1 0 947 31 3 1 18 0 9 0 27540332 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29686/statm: 217200 26943 2662 9 0 211636 0
[pid=29686/tid=29687] ppid=29684 vsize=868800 CPUtime=9.18
/proc/29686/task/29687/stat : 29687 (java) R 29684 29686 29077 0 -1 64 22604 444 1 0 890 24 3 1 25 0 9 0 27540333 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4127185116 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29688] ppid=29684 vsize=868800 CPUtime=0.28
/proc/29686/task/29688/stat : 29688 (java) S 29684 29686 29077 0 -1 64 15439 444 0 0 20 4 3 1 16 0 9 0 27540334 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29689] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29689/stat : 29689 (java) S 29684 29686 29077 0 -1 64 19 444 0 0 0 0 3 1 16 0 9 0 27540335 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29690] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29690/stat : 29690 (java) S 29684 29686 29077 0 -1 64 13 444 0 0 0 0 3 1 16 0 9 0 27540335 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29691] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29691/stat : 29691 (java) S 29684 29686 29077 0 -1 64 2 444 0 0 0 0 3 1 18 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29692] ppid=29684 vsize=868800 CPUtime=0.39
/proc/29686/task/29692/stat : 29692 (java) S 29684 29686 29077 0 -1 64 1019 444 0 0 34 1 3 1 16 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29694] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29694/stat : 29694 (java) S 29684 29686 29077 0 -1 64 0 444 0 0 0 0 3 1 19 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29695] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29695/stat : 29695 (java) S 29684 29686 29077 0 -1 64 35 444 0 0 0 0 3 1 15 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.82
Current children cumulated vsize (KiB) 868800

[startup+10.3013 s]
/proc/loadavg: 2.02 2.00 1.91 3/90 29699
/proc/meminfo: memFree=1612408/2055920 swapFree=4192812/4192956
[pid=29686] ppid=29684 vsize=868800 CPUtime=10.21
/proc/29686/stat : 29686 (java) S 29684 29686 29077 0 -1 0 39941 444 1 0 986 31 3 1 18 0 9 0 27540332 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29686/statm: 217200 26943 2662 9 0 211636 0
[pid=29686/tid=29687] ppid=29684 vsize=868800 CPUtime=9.57
/proc/29686/task/29687/stat : 29687 (java) R 29684 29686 29077 0 -1 64 22605 444 1 0 929 24 3 1 25 0 9 0 27540333 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4127255879 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29688] ppid=29684 vsize=868800 CPUtime=0.29
/proc/29686/task/29688/stat : 29688 (java) S 29684 29686 29077 0 -1 64 15439 444 0 0 21 4 3 1 16 0 9 0 27540334 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29689] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29689/stat : 29689 (java) S 29684 29686 29077 0 -1 64 19 444 0 0 0 0 3 1 16 0 9 0 27540335 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29690] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29690/stat : 29690 (java) S 29684 29686 29077 0 -1 64 13 444 0 0 0 0 3 1 16 0 9 0 27540335 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29691] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29691/stat : 29691 (java) S 29684 29686 29077 0 -1 64 2 444 0 0 0 0 3 1 18 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29692] ppid=29684 vsize=868800 CPUtime=0.39
/proc/29686/task/29692/stat : 29692 (java) S 29684 29686 29077 0 -1 64 1019 444 0 0 34 1 3 1 16 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29694] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29694/stat : 29694 (java) S 29684 29686 29077 0 -1 64 0 444 0 0 0 0 3 1 19 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29695] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29695/stat : 29695 (java) S 29684 29686 29077 0 -1 64 35 444 0 0 0 0 3 1 15 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.21
Current children cumulated vsize (KiB) 868800

Child status: 0
Real time (s): 10.3933
CPU time (s): 10.2884
CPU user time (s): 9.94349
CPU system time (s): 0.344947
CPU usage (%): 98.9911
Max. virtual memory (cumulated for all children) (KiB): 868800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.94349
system time used= 0.344947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40421
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= 1992
involuntary context switches= 2370

runsolver used 0.010998 second user time and 0.051992 second system time

The end

Launcher Data 

Begin job on node56 at 2009-07-12 15:19:30
IDJOB=2094608
IDBENCH=54414
IDSOLVER=774
FILE ID=node56/2094608-1247404770
PBS_JOBID= 9510533
Free space on /tmp= 103044 MiB

SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/os-taillard-15/normalized-os-taillard-15-100-7.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= BIN/runsolver --timestamp -w /tmp/evaluation-result-2094608-1247404770/watcher-2094608-1247404770 -o /tmp/evaluation-result-2094608-1247404770/solver-2094608-1247404770 -C 1800 -W 2000 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2094608-1247404770.xml

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

MD5SUM BENCH= ab54a3befb7bc28d039702d9f31a2fb5
RANDOM SEED=638089917

node56.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:       1710824 kB
Buffers:         32772 kB
Cached:         122948 kB
SwapCached:          0 kB
Active:         224856 kB
Inactive:        64060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1710824 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2672 kB
Writeback:           0 kB
Mapped:         152564 kB
Slab:            41140 kB
Committed_AS:   999904 kB
PageTables:       2104 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= 103040 MiB
End job on node56 at 2009-07-12 15:19:41