Trace number 252620

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, and are wall clock time (not CPU 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 109 ESAC? (TO) 1800.12 1807.95

General information on the benchmark

NamesocialGolfers/
socialGolfer-9-4-8.xml
MD5SUM0fa2224912b1d835827875229dbae41a
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables6768
Number of constraints36568
Maximum constraint arity32
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension36568
Global constraints used (with number of constraints)

Solver Data (download as text)

0.40	   
0.40	Abscon 109 (November, 2006)
0.40	   
0.40	   configuration
0.40	     name=esac.xml
0.43	   
0.43	   instance
0.43	     name=/tmp/evaluation/252620-1168408712/unknown.xml
0.46	   
0.46	   domains being loaded...
0.46	   
0.47	   variables being loaded...
0.64	     nbVariables=6768  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.64	       =>  wckTime=0.241  cpuTime=0.18  mem=9M811
0.64	   
0.64	   predicates being loaded...
0.65	   
0.65	   constraints being loaded...
5.10	     nbConstraints=36568  nbConflictsStructures=3  nbSharedConflictsStructures=36493  nbUnbuiltConflictsStructures=1
5.10	     nbSharedBinaryRepresentations=0  nbEvaluationManagers=4  nbSharedEvaluationManagers=36564  maxDegree=33
5.10	     maxArity=32
5.10	       =>  wckTime=4.698  cpuTime=3.96  mem=60M34
5.34	   
5.34	   solver IterativeSystematicSolver being built... 
6.45	       =>  wckTime=6.047  cpuTime=4.79  mem=117M522
48.34	   
48.34	   INFO : Stopping ESAC
48.35	   
48.35	   preprocessing
48.35	     nbConstraintChecks=31194  nbValidityChecks=56669  nbPropagations=14761  nbRevisions=57075  nbUselessRevisions=55836
48.35	     nbSingletonTests=6915  nbEffectiveSingletonTests=0  nbESACBranches=11  nbRemovedValues=0  detectedInconsistency=no
48.35	       =>  wckTime=41.887  cpuTime=41.45  mem=120M590
52.05	   
52.05	   search
52.05	     run=0  nbConstraintChecks=1060269  nbValidityChecks=2928  nbPropagations=15230  nbRevisions=59837
52.05	     nbUselessRevisions=58244  nbAssignments=115  nbFailedAssignments=1  nbBacktracks=31  nbVisitedNodes=117
52.05	     nbRestartNogoods=0  mapSize=1  nbInferences=0  nbTooLargeKeys=0
52.05	       =>  wckTime=45.596  cpuTime=45.1  mem=120M995
52.42	   
52.42	   search
52.42	     run=1  nbConstraintChecks=1075935  nbValidityChecks=8317  nbPropagations=30956  nbRevisions=124135
52.42	     nbUselessRevisions=120347  nbAssignments=235  nbFailedAssignments=4  nbBacktracks=48  nbVisitedNodes=242
52.42	     nbRestartNogoods=1  mapSize=5  nbInferences=0  nbTooLargeKeys=0
52.42	       =>  wckTime=45.961  cpuTime=45.46  mem=120M995
57.47	   
57.47	   search
57.47	     run=2  nbConstraintChecks=2211473  nbValidityChecks=22227  nbPropagations=47815  nbRevisions=200859
57.47	     nbUselessRevisions=194010  nbAssignments=686  nbFailedAssignments=8  nbBacktracks=70  nbVisitedNodes=701
57.47	     nbRestartNogoods=2  mapSize=12  nbInferences=0  nbTooLargeKeys=0
57.47	       =>  wckTime=51.013  cpuTime=50.41  mem=79M304
62.54	   
62.54	   search
62.54	     run=3  nbConstraintChecks=3342454  nbValidityChecks=38922  nbPropagations=65933  nbRevisions=290933
62.54	     nbUselessRevisions=280002  nbAssignments=1159  nbFailedAssignments=14  nbBacktracks=106  nbVisitedNodes=1186
62.54	     nbRestartNogoods=3  mapSize=22  nbInferences=0  nbTooLargeKeys=0
62.54	       =>  wckTime=56.082  cpuTime=55.43  mem=80M313
67.67	   
67.67	   search
67.67	     run=4  nbConstraintChecks=4474891  nbValidityChecks=56677  nbPropagations=85428  nbRevisions=395215
67.67	     nbUselessRevisions=379050  nbAssignments=1654  nbFailedAssignments=22  nbBacktracks=162  nbVisitedNodes=1697
67.67	     nbRestartNogoods=5  mapSize=36  nbInferences=0  nbTooLargeKeys=0
67.67	       =>  wckTime=61.213  cpuTime=60.51  mem=80M313
72.90	   
72.90	   search
72.90	     run=5  nbConstraintChecks=5611236  nbValidityChecks=76859  nbPropagations=106588  nbRevisions=515687
72.90	     nbUselessRevisions=492771  nbAssignments=2188  nbFailedAssignments=35  nbBacktracks=261  nbVisitedNodes=2258
72.90	     nbRestartNogoods=7  mapSize=62  nbInferences=0  nbTooLargeKeys=0
72.90	       =>  wckTime=66.442  cpuTime=65.69  mem=81M321
78.23	   
78.23	   search
78.23	     run=6  nbConstraintChecks=6753120  nbValidityChecks=97318  nbPropagations=129949  nbRevisions=653040
78.23	     nbUselessRevisions=621314  nbAssignments=2777  nbFailedAssignments=60  nbBacktracks=374  nbVisitedNodes=2897
78.23	     nbRestartNogoods=8  mapSize=109  nbInferences=0  nbTooLargeKeys=0
78.23	       =>  wckTime=71.774  cpuTime=70.97  mem=82M329
83.89	   
83.89	   search
83.89	     run=7  nbConstraintChecks=7898468  nbValidityChecks=122769  nbPropagations=155950  nbRevisions=811177
83.89	     nbUselessRevisions=768167  nbAssignments=3467  nbFailedAssignments=91  nbBacktracks=557  nbVisitedNodes=3650
83.89	     nbRestartNogoods=11  mapSize=171  nbInferences=0  nbTooLargeKeys=0
83.89	       =>  wckTime=77.434  cpuTime=76.59  mem=83M337
90.22	   
90.22	   search
90.22	     run=8  nbConstraintChecks=9058852  nbValidityChecks=164628  nbPropagations=185685  nbRevisions=1004569
90.22	     nbUselessRevisions=946187  nbAssignments=4384  nbFailedAssignments=127  nbBacktracks=820  nbVisitedNodes=4647
90.22	     nbRestartNogoods=12  mapSize=249  nbInferences=0  nbTooLargeKeys=0
90.22	       =>  wckTime=83.764  cpuTime=82.88  mem=84M346
100.50	   
100.50	   search
100.50	     run=9  nbConstraintChecks=11290656  nbValidityChecks=217920  nbPropagations=220243  nbRevisions=1243280
100.50	     nbUselessRevisions=1165103  nbAssignments=5552  nbFailedAssignments=181  nbBacktracks=1222  nbVisitedNodes=5914
100.50	     nbRestartNogoods=14  mapSize=341  nbInferences=0  nbTooLargeKeys=0
100.50	       =>  wckTime=94.041  cpuTime=93.06  mem=87M371
111.10	   
111.10	   search
111.10	     run=10  nbConstraintChecks=12646862  nbValidityChecks=365730  nbPropagations=266109  nbRevisions=1594175
111.10	     nbUselessRevisions=1487627  nbAssignments=9173  nbFailedAssignments=262  nbBacktracks=1821  nbVisitedNodes=7717
111.10	     nbRestartNogoods=21  mapSize=493  nbInferences=0  nbTooLargeKeys=0
111.10	       =>  wckTime=104.644  cpuTime=103.55  mem=91M404
124.58	   
124.58	   search
124.58	     run=11  nbConstraintChecks=13977123  nbValidityChecks=632000  nbPropagations=330303  nbRevisions=2151489
124.58	     nbUselessRevisions=2002700  nbAssignments=15249  nbFailedAssignments=345  nbBacktracks=2696  nbVisitedNodes=10077
124.58	     nbRestartNogoods=31  mapSize=676  nbInferences=0  nbTooLargeKeys=0
124.58	       =>  wckTime=118.129  cpuTime=116.91  mem=99M470
134.64	   
134.64	   search
134.64	     run=12  nbConstraintChecks=14859305  nbValidityChecks=810070  nbPropagations=401538  nbRevisions=2853116
134.64	     nbUselessRevisions=2656972  nbAssignments=17736  nbFailedAssignments=453  nbBacktracks=4007  nbVisitedNodes=12796
134.64	     nbRestartNogoods=42  mapSize=900  nbInferences=0  nbTooLargeKeys=0
134.64	       =>  wckTime=128.187  cpuTime=126.88  mem=108M545
153.48	   
153.48	   INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=112M578)
165.10	   
165.10	   search
165.10	     run=13  nbConstraintChecks=20431319  nbValidityChecks=1433951  nbPropagations=508961  nbRevisions=4047763
165.10	     nbUselessRevisions=3772265  nbAssignments=27130  nbFailedAssignments=632  nbBacktracks=5968  nbVisitedNodes=16596
165.10	     nbRestartNogoods=50
165.10	       =>  wckTime=158.647  cpuTime=156.99  mem=112M578
194.00	   
194.00	   search
194.00	     run=14  nbConstraintChecks=25312650  nbValidityChecks=2102684  nbPropagations=655440  nbRevisions=5794630
194.00	     nbUselessRevisions=5408206  nbAssignments=37082  nbFailedAssignments=774  nbBacktracks=8910  nbVisitedNodes=21712
194.00	     nbRestartNogoods=59
194.00	       =>  wckTime=187.543  cpuTime=185.57  mem=112M578
227.53	   
227.53	   search
227.53	     run=15  nbConstraintChecks=29615177  nbValidityChecks=3028281  nbPropagations=846283  nbRevisions=8308581
227.53	     nbUselessRevisions=7777532  nbAssignments=50981  nbFailedAssignments=1073  nbBacktracks=13301  nbVisitedNodes=28407
227.53	     nbRestartNogoods=68
227.53	       =>  wckTime=221.076  cpuTime=218.76  mem=112M578
261.18	   
261.18	   search
261.18	     run=16  nbConstraintChecks=34126759  nbValidityChecks=3953942  nbPropagations=1081173  nbRevisions=11606954
261.18	     nbUselessRevisions=10894674  nbAssignments=61739  nbFailedAssignments=1360  nbBacktracks=19923
261.18	     nbVisitedNodes=37716  nbRestartNogoods=73
261.18	       =>  wckTime=254.725  cpuTime=252.07  mem=112M578
856.38	   
856.38	   search
856.38	     run=17  nbConstraintChecks=220420384  nbValidityChecks=5173966  nbPropagations=1387295  nbRevisions=15921235
856.38	     nbUselessRevisions=14964791  nbAssignments=73930  nbFailedAssignments=1862  nbBacktracks=29786
856.38	     nbVisitedNodes=50740  nbRestartNogoods=78
856.38	       =>  wckTime=849.928  cpuTime=842.49  mem=112M578
905.94	   
905.94	   search
905.94	     run=18  nbConstraintChecks=226887143  nbValidityChecks=8469220  nbPropagations=1911087  nbRevisions=22969580
905.94	     nbUselessRevisions=21549622  nbAssignments=92383  nbFailedAssignments=2693  nbBacktracks=44595
905.94	     nbVisitedNodes=70240  nbRestartNogoods=82
905.94	       =>  wckTime=899.49  cpuTime=891.83  mem=112M578
1010.99	   
1010.99	   search
1010.99	     run=19  nbConstraintChecks=246593328  nbValidityChecks=11656332  nbPropagations=2591125  nbRevisions=32694794
1010.99	     nbUselessRevisions=30674798  nbAssignments=123658  nbFailedAssignments=3615  nbBacktracks=66878
1010.99	     nbVisitedNodes=97436  nbRestartNogoods=91
1010.99	       =>  wckTime=1004.538  cpuTime=996.85  mem=112M578
1118.04	   
1118.04	   search
1118.04	     run=20  nbConstraintChecks=257534941  nbValidityChecks=18131197  nbPropagations=3663158  nbRevisions=47909624
1118.04	     nbUselessRevisions=44907441  nbAssignments=170165  nbFailedAssignments=5820  nbBacktracks=100139
1118.04	     nbVisitedNodes=139383  nbRestartNogoods=105
1118.04	       =>  wckTime=1111.582  cpuTime=1103.87  mem=112M578

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node58/watcher-252620-1168408712 -o ROOT/results/node58/solver-252620-1168408712 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/252620-1168408712/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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

/proc/loadavg: 2.13 2.03 1.67 4/75 24146
/proc/meminfo: memFree=1517096/2055920 swapFree=4192812/4192956
[pid=24145] ppid=24143 vsize=1784 CPUtime=0
/proc/24145/stat : 24145 (java) D 24143 24145 23461 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 189269185 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/24145/statm: 446 136 102 14 0 91 0

[startup+0.108209 s]
/proc/loadavg: 2.13 2.03 1.67 4/75 24146
/proc/meminfo: memFree=1517096/2055920 swapFree=4192812/4192956
[pid=24145] ppid=24143 vsize=905804 CPUtime=0
/proc/24145/stat : 24145 (java) R 24143 24145 23461 0 -1 0 1426 0 1 0 0 0 0 0 17 0 1 0 189269185 927543296 1175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153443603 0 4 0 7368 0 0 0 17 1 0 0
/proc/24145/statm: 226451 1175 831 14 0 214034 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 905804

[startup+0.520243 s]
/proc/loadavg: 2.13 2.03 1.67 4/75 24146
/proc/meminfo: memFree=1517096/2055920 swapFree=4192812/4192956
[pid=24145] ppid=24143 vsize=915328 CPUtime=0.41
/proc/24145/stat : 24145 (java) R 24143 24145 23461 0 -1 0 5969 0 1 0 38 3 0 0 18 0 8 0 189269185 937295872 5708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072897339 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24145/statm: 228832 5708 2125 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328

[startup+1.34933 s]
/proc/loadavg: 2.12 2.03 1.67 4/82 24153
/proc/meminfo: memFree=1455984/2055920 swapFree=4192812/4192956
[pid=24145] ppid=24143 vsize=915616 CPUtime=1.23
/proc/24145/stat : 24145 (java) R 24143 24145 23461 0 -1 0 18048 0 1 0 113 10 0 0 23 0 8 0 189269185 937590784 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073456047 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24145/statm: 228904 17786 2147 14 0 215374 0
[pid=24145/tid=24147] ppid=24143 vsize=915616 CPUtime=0.06
/proc/24145/task/24147/stat : 24147 (java) S 24143 24145 23461 0 -1 64 1546 0 0 0 6 0 0 0 17 0 8 0 189269198 937590784 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24148] ppid=24143 vsize=915616 CPUtime=0
/proc/24145/task/24148/stat : 24148 (java) S 24143 24145 23461 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 189269198 937590784 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24149] ppid=24143 vsize=915616 CPUtime=0
/proc/24145/task/24149/stat : 24149 (java) S 24143 24145 23461 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189269198 937590784 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24150] ppid=24143 vsize=915616 CPUtime=0
/proc/24145/task/24150/stat : 24150 (java) S 24143 24145 23461 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189269201 937590784 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24151] ppid=24143 vsize=915616 CPUtime=0.13
/proc/24145/task/24151/stat : 24151 (java) S 24143 24145 23461 0 -1 64 401 0 0 0 13 0 0 0 16 0 8 0 189269201 937590784 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24152] ppid=24143 vsize=915616 CPUtime=0
/proc/24145/task/24152/stat : 24152 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189269202 937590784 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24153] ppid=24143 vsize=915616 CPUtime=0
/proc/24145/task/24153/stat : 24153 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189269202 937590784 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915616

[startup+2.98746 s]
/proc/loadavg: 2.12 2.03 1.67 3/82 24153
/proc/meminfo: memFree=1440752/2055920 swapFree=4192812/4192956
[pid=24145] ppid=24143 vsize=915616 CPUtime=2.85
/proc/24145/stat : 24145 (java) R 24143 24145 23461 0 -1 0 21453 0 1 0 224 61 0 0 25 0 8 0 189269185 937590784 21189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24145/statm: 228904 21189 2179 14 0 215374 0
[pid=24145/tid=24147] ppid=24143 vsize=915616 CPUtime=0.21
/proc/24145/task/24147/stat : 24147 (java) S 24143 24145 23461 0 -1 64 4843 0 0 0 20 1 0 0 16 0 8 0 189269198 937590784 21189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24148] ppid=24143 vsize=915616 CPUtime=0
/proc/24145/task/24148/stat : 24148 (java) S 24143 24145 23461 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 189269198 937590784 21189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24149] ppid=24143 vsize=915616 CPUtime=0
/proc/24145/task/24149/stat : 24149 (java) S 24143 24145 23461 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189269198 937590784 21189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24150] ppid=24143 vsize=915616 CPUtime=0
/proc/24145/task/24150/stat : 24150 (java) S 24143 24145 23461 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189269201 937590784 21189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24151] ppid=24143 vsize=915616 CPUtime=0.17
/proc/24145/task/24151/stat : 24151 (java) S 24143 24145 23461 0 -1 64 418 0 0 0 17 0 0 0 16 0 8 0 189269201 937590784 21189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24152] ppid=24143 vsize=915616 CPUtime=0
/proc/24145/task/24152/stat : 24152 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189269202 937590784 21189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24153] ppid=24143 vsize=915616 CPUtime=0
/proc/24145/task/24153/stat : 24153 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189269202 937590784 21189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915616

[startup+6.27439 s]
/proc/loadavg: 2.12 2.03 1.67 3/82 24153
/proc/meminfo: memFree=1390384/2055920 swapFree=4192812/4192956
[pid=24145] ppid=24143 vsize=915856 CPUtime=6.11
/proc/24145/stat : 24145 (java) R 24143 24145 23461 0 -1 0 36925 0 1 0 439 172 0 0 25 0 8 0 189269185 937836544 36595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24145/statm: 228964 36595 2525 14 0 215434 0
[pid=24145/tid=24147] ppid=24143 vsize=915856 CPUtime=0.95
/proc/24145/task/24147/stat : 24147 (java) S 24143 24145 23461 0 -1 64 19847 0 0 0 87 8 0 0 16 0 8 0 189269198 937836544 36595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24148] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24148/stat : 24148 (java) S 24143 24145 23461 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 189269198 937836544 36595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24149] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24149/stat : 24149 (java) S 24143 24145 23461 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189269198 937836544 36595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24150] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24150/stat : 24150 (java) S 24143 24145 23461 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189269201 937836544 36595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24151] ppid=24143 vsize=915856 CPUtime=0.27
/proc/24145/task/24151/stat : 24151 (java) S 24143 24145 23461 0 -1 64 473 0 0 0 26 1 0 0 15 0 8 0 189269201 937836544 36595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24152] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24152/stat : 24152 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189269202 937836544 36595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24153] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24153/stat : 24153 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189269202 937836544 36595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915856

[startup+12.7663 s]
/proc/loadavg: 2.10 2.03 1.67 3/82 24153
/proc/meminfo: memFree=1380152/2055920 swapFree=4192812/4192956
[pid=24145] ppid=24143 vsize=915856 CPUtime=12.54
/proc/24145/stat : 24145 (java) R 24143 24145 23461 0 -1 0 36997 0 1 0 1081 173 0 0 25 0 8 0 189269185 937836544 36665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074150949 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24145/statm: 228964 36665 2538 14 0 215434 0
[pid=24145/tid=24147] ppid=24143 vsize=915856 CPUtime=0.95
/proc/24145/task/24147/stat : 24147 (java) S 24143 24145 23461 0 -1 64 19847 0 0 0 87 8 0 0 16 0 8 0 189269198 937836544 36665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24148] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24148/stat : 24148 (java) S 24143 24145 23461 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 189269198 937836544 36665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24149] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24149/stat : 24149 (java) S 24143 24145 23461 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189269198 937836544 36665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24150] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24150/stat : 24150 (java) S 24143 24145 23461 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189269201 937836544 36665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24151] ppid=24143 vsize=915856 CPUtime=0.32
/proc/24145/task/24151/stat : 24151 (java) S 24143 24145 23461 0 -1 64 501 0 0 0 31 1 0 0 16 0 8 0 189269201 937836544 36665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24152] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24152/stat : 24152 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189269202 937836544 36665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24153] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24153/stat : 24153 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189269202 937836544 36665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915856

[startup+25.6364 s]
/proc/loadavg: 2.08 2.03 1.68 3/82 24153
/proc/meminfo: memFree=1380216/2055920 swapFree=4192812/4192956
[pid=24145] ppid=24143 vsize=915856 CPUtime=25.3
/proc/24145/stat : 24145 (java) R 24143 24145 23461 0 -1 0 37009 0 1 0 2356 174 0 0 25 0 8 0 189269185 937836544 36674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819722 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24145/statm: 228964 36674 2538 14 0 215434 0
[pid=24145/tid=24147] ppid=24143 vsize=915856 CPUtime=0.95
/proc/24145/task/24147/stat : 24147 (java) S 24143 24145 23461 0 -1 64 19847 0 0 0 87 8 0 0 16 0 8 0 189269198 937836544 36674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24148] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24148/stat : 24148 (java) S 24143 24145 23461 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 189269198 937836544 36674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24149] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24149/stat : 24149 (java) S 24143 24145 23461 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189269198 937836544 36674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24150] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24150/stat : 24150 (java) S 24143 24145 23461 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189269201 937836544 36674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24151] ppid=24143 vsize=915856 CPUtime=0.33
/proc/24145/task/24151/stat : 24151 (java) S 24143 24145 23461 0 -1 64 509 0 0 0 32 1 0 0 16 0 8 0 189269201 937836544 36674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24152] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24152/stat : 24152 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189269202 937836544 36674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24153] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24153/stat : 24153 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189269202 937836544 36674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915856

[startup+51.2597 s]
/proc/loadavg: 2.05 2.02 1.68 3/82 24153
/proc/meminfo: memFree=1380216/2055920 swapFree=4192812/4192956
[pid=24145] ppid=24143 vsize=915856 CPUtime=50.69
/proc/24145/stat : 24145 (java) R 24143 24145 23461 0 -1 0 37019 0 1 0 4895 174 0 0 25 0 8 0 189269185 937836544 36683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073852956 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24145/statm: 228964 36683 2539 14 0 215434 0
[pid=24145/tid=24147] ppid=24143 vsize=915856 CPUtime=0.95
/proc/24145/task/24147/stat : 24147 (java) S 24143 24145 23461 0 -1 64 19847 0 0 0 87 8 0 0 16 0 8 0 189269198 937836544 36683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24148] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24148/stat : 24148 (java) S 24143 24145 23461 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 189269198 937836544 36683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24149] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24149/stat : 24149 (java) S 24143 24145 23461 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189269198 937836544 36683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24150] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24150/stat : 24150 (java) S 24143 24145 23461 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189269201 937836544 36683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24151] ppid=24143 vsize=915856 CPUtime=0.36
/proc/24145/task/24151/stat : 24151 (java) S 24143 24145 23461 0 -1 64 515 0 0 0 34 2 0 0 15 0 8 0 189269201 937836544 36683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24152] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24152/stat : 24152 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189269202 937836544 36683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24153] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24153/stat : 24153 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189269202 937836544 36683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915856

[startup+102.487 s]
/proc/loadavg: 2.02 2.02 1.70 3/82 24153
/proc/meminfo: memFree=1376568/2055920 swapFree=4192812/4192956
[pid=24145] ppid=24143 vsize=915856 CPUtime=101.49
/proc/24145/stat : 24145 (java) R 24143 24145 23461 0 -1 0 37947 0 1 0 9974 175 0 0 25 0 8 0 189269185 937836544 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074123799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24145/statm: 228964 37605 2541 14 0 215434 0
[pid=24145/tid=24147] ppid=24143 vsize=915856 CPUtime=1.02
/proc/24145/task/24147/stat : 24147 (java) S 24143 24145 23461 0 -1 64 20752 0 0 0 94 8 0 0 16 0 8 0 189269198 937836544 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24148] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24148/stat : 24148 (java) S 24143 24145 23461 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 189269198 937836544 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24149] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24149/stat : 24149 (java) S 24143 24145 23461 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189269198 937836544 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24150] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24150/stat : 24150 (java) S 24143 24145 23461 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189269201 937836544 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24151] ppid=24143 vsize=915856 CPUtime=0.39
/proc/24145/task/24151/stat : 24151 (java) S 24143 24145 23461 0 -1 64 529 0 0 0 37 2 0 0 15 0 8 0 189269201 937836544 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24152] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24152/stat : 24152 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189269202 937836544 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24153] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24153/stat : 24153 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189269202 937836544 37605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 915856

[startup+162.487 s]
/proc/loadavg: 2.01 2.01 1.72 3/88 24227
/proc/meminfo: memFree=1375352/2055920 swapFree=4192812/4192956
[pid=24145] ppid=24143 vsize=915856 CPUtime=160.89
/proc/24145/stat : 24145 (java) R 24143 24145 23461 0 -1 0 37962 0 1 0 15914 175 0 0 25 0 8 0 189269185 937836544 37610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074191806 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1415.41
Current children cumulated vsize (KiB) 915856

[startup+1483.17 s]
/proc/loadavg: 1.01 1.13 1.43 2/72 24497
/proc/meminfo: memFree=1401808/2055920 swapFree=4192812/4192956
[pid=24145] ppid=24143 vsize=915856 CPUtime=1475.4
/proc/24145/stat : 24145 (java) R 24143 24145 23461 0 -1 0 37964 0 1 0 147360 180 0 0 25 0 8 0 189269185 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855114 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24145/statm: 228964 37611 2541 14 0 215434 0
[pid=24145/tid=24147] ppid=24143 vsize=915856 CPUtime=1.02
/proc/24145/task/24147/stat : 24147 (java) S 24143 24145 23461 0 -1 64 20752 0 0 0 94 8 0 0 16 0 8 0 189269198 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24148] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24148/stat : 24148 (java) S 24143 24145 23461 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 189269198 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24149] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24149/stat : 24149 (java) S 24143 24145 23461 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189269198 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24150] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24150/stat : 24150 (java) S 24143 24145 23461 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189269201 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24151] ppid=24143 vsize=915856 CPUtime=0.4
/proc/24145/task/24151/stat : 24151 (java) S 24143 24145 23461 0 -1 64 538 0 0 0 38 2 0 0 17 0 8 0 189269201 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24152] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24152/stat : 24152 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189269202 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24153] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24153/stat : 24153 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189269202 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.4
Current children cumulated vsize (KiB) 915856

[startup+1543.18 s]
/proc/loadavg: 1.00 1.11 1.40 2/72 24497
/proc/meminfo: memFree=1401808/2055920 swapFree=4192812/4192956
[pid=24145] ppid=24143 vsize=915856 CPUtime=1535.4
/proc/24145/stat : 24145 (java) R 24143 24145 23461 0 -1 0 37964 0 1 0 153360 180 0 0 25 0 8 0 189269185 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854334 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24145/statm: 228964 37611 2541 14 0 215434 0
[pid=24145/tid=24147] ppid=24143 vsize=915856 CPUtime=1.02
/proc/24145/task/24147/stat : 24147 (java) S 24143 24145 23461 0 -1 64 20752 0 0 0 94 8 0 0 16 0 8 0 189269198 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24148] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24148/stat : 24148 (java) S 24143 24145 23461 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 189269198 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24149] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24149/stat : 24149 (java) S 24143 24145 23461 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189269198 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24150] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24150/stat : 24150 (java) S 24143 24145 23461 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189269201 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24151] ppid=24143 vsize=915856 CPUtime=0.4
/proc/24145/task/24151/stat : 24151 (java) S 24143 24145 23461 0 -1 64 538 0 0 0 38 2 0 0 17 0 8 0 189269201 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24152] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24152/stat : 24152 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189269202 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24153] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24153/stat : 24153 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189269202 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.4
Current children cumulated vsize (KiB) 915856

[startup+1603.19 s]
/proc/loadavg: 1.00 1.08 1.37 2/72 24497
/proc/meminfo: memFree=1401808/2055920 swapFree=4192812/4192956
[pid=24145] ppid=24143 vsize=915856 CPUtime=1595.4
/proc/24145/stat : 24145 (java) R 24143 24145 23461 0 -1 0 37964 0 1 0 159360 180 0 0 25 0 8 0 189269185 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855147 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24145/statm: 228964 37611 2541 14 0 215434 0
[pid=24145/tid=24147] ppid=24143 vsize=915856 CPUtime=1.02
/proc/24145/task/24147/stat : 24147 (java) S 24143 24145 23461 0 -1 64 20752 0 0 0 94 8 0 0 16 0 8 0 189269198 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24148] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24148/stat : 24148 (java) S 24143 24145 23461 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 189269198 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24149] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24149/stat : 24149 (java) S 24143 24145 23461 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189269198 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24150] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24150/stat : 24150 (java) S 24143 24145 23461 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189269201 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24151] ppid=24143 vsize=915856 CPUtime=0.4
/proc/24145/task/24151/stat : 24151 (java) S 24143 24145 23461 0 -1 64 538 0 0 0 38 2 0 0 17 0 8 0 189269201 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24152] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24152/stat : 24152 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189269202 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24153] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24153/stat : 24153 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189269202 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.4
Current children cumulated vsize (KiB) 915856

[startup+1663.2 s]
/proc/loadavg: 1.00 1.07 1.35 2/72 24497
/proc/meminfo: memFree=1401808/2055920 swapFree=4192812/4192956
[pid=24145] ppid=24143 vsize=915856 CPUtime=1655.4
/proc/24145/stat : 24145 (java) R 24143 24145 23461 0 -1 0 37964 0 1 0 165359 181 0 0 25 0 8 0 189269185 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24145/statm: 228964 37611 2541 14 0 215434 0
[pid=24145/tid=24147] ppid=24143 vsize=915856 CPUtime=1.02
/proc/24145/task/24147/stat : 24147 (java) S 24143 24145 23461 0 -1 64 20752 0 0 0 94 8 0 0 16 0 8 0 189269198 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24148] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24148/stat : 24148 (java) S 24143 24145 23461 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 189269198 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24149] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24149/stat : 24149 (java) S 24143 24145 23461 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189269198 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24150] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24150/stat : 24150 (java) S 24143 24145 23461 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189269201 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24151] ppid=24143 vsize=915856 CPUtime=0.4
/proc/24145/task/24151/stat : 24151 (java) S 24143 24145 23461 0 -1 64 538 0 0 0 38 2 0 0 17 0 8 0 189269201 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24152] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24152/stat : 24152 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189269202 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24153] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24153/stat : 24153 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189269202 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.4
Current children cumulated vsize (KiB) 915856

[startup+1723.21 s]
/proc/loadavg: 1.07 1.07 1.33 2/72 24497
/proc/meminfo: memFree=1401808/2055920 swapFree=4192812/4192956
[pid=24145] ppid=24143 vsize=915856 CPUtime=1715.39
/proc/24145/stat : 24145 (java) R 24143 24145 23461 0 -1 0 37964 0 1 0 171358 181 0 0 25 0 8 0 189269185 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856295 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24145/statm: 228964 37611 2541 14 0 215434 0
[pid=24145/tid=24147] ppid=24143 vsize=915856 CPUtime=1.02
/proc/24145/task/24147/stat : 24147 (java) S 24143 24145 23461 0 -1 64 20752 0 0 0 94 8 0 0 16 0 8 0 189269198 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24148] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24148/stat : 24148 (java) S 24143 24145 23461 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 189269198 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24149] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24149/stat : 24149 (java) S 24143 24145 23461 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189269198 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24150] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24150/stat : 24150 (java) S 24143 24145 23461 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189269201 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24151] ppid=24143 vsize=915856 CPUtime=0.4
/proc/24145/task/24151/stat : 24151 (java) S 24143 24145 23461 0 -1 64 538 0 0 0 38 2 0 0 17 0 8 0 189269201 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24152] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24152/stat : 24152 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189269202 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24153] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24153/stat : 24153 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189269202 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.39
Current children cumulated vsize (KiB) 915856

[startup+1783.22 s]
/proc/loadavg: 1.02 1.05 1.30 2/72 24497
/proc/meminfo: memFree=1401744/2055920 swapFree=4192812/4192956
[pid=24145] ppid=24143 vsize=915856 CPUtime=1775.39
/proc/24145/stat : 24145 (java) R 24143 24145 23461 0 -1 0 37964 0 1 0 177358 181 0 0 25 0 8 0 189269185 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853011 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24145/statm: 228964 37611 2541 14 0 215434 0
[pid=24145/tid=24147] ppid=24143 vsize=915856 CPUtime=1.02
/proc/24145/task/24147/stat : 24147 (java) S 24143 24145 23461 0 -1 64 20752 0 0 0 94 8 0 0 16 0 8 0 189269198 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24148] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24148/stat : 24148 (java) S 24143 24145 23461 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 189269198 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24149] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24149/stat : 24149 (java) S 24143 24145 23461 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189269198 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24150] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24150/stat : 24150 (java) S 24143 24145 23461 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189269201 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24151] ppid=24143 vsize=915856 CPUtime=0.4
/proc/24145/task/24151/stat : 24151 (java) S 24143 24145 23461 0 -1 64 538 0 0 0 38 2 0 0 17 0 8 0 189269201 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24152] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24152/stat : 24152 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189269202 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24153] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24153/stat : 24153 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189269202 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.39
Current children cumulated vsize (KiB) 915856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.88 s]
/proc/loadavg: 1.01 1.05 1.29 2/72 24497
/proc/meminfo: memFree=1401808/2055920 swapFree=4192812/4192956
[pid=24145] ppid=24143 vsize=915856 CPUtime=1800.05
/proc/24145/stat : 24145 (java) R 24143 24145 23461 0 -1 0 37964 0 1 0 179824 181 0 0 25 0 8 0 189269185 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855147 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24145/statm: 228964 37611 2541 14 0 215434 0
[pid=24145/tid=24147] ppid=24143 vsize=915856 CPUtime=1.02
/proc/24145/task/24147/stat : 24147 (java) S 24143 24145 23461 0 -1 64 20752 0 0 0 94 8 0 0 16 0 8 0 189269198 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24148] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24148/stat : 24148 (java) S 24143 24145 23461 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 189269198 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24149] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24149/stat : 24149 (java) S 24143 24145 23461 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189269198 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24150] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24150/stat : 24150 (java) S 24143 24145 23461 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189269201 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24151] ppid=24143 vsize=915856 CPUtime=0.4
/proc/24145/task/24151/stat : 24151 (java) S 24143 24145 23461 0 -1 64 538 0 0 0 38 2 0 0 17 0 8 0 189269201 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24152] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24152/stat : 24152 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189269202 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24145/tid=24153] ppid=24143 vsize=915856 CPUtime=0
/proc/24145/task/24153/stat : 24153 (java) S 24143 24145 23461 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189269202 937836544 37611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915856

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 1807.95
CPU time (s): 1800.12
CPU user time (s): 1798.29
CPU system time (s): 1.83572
CPU usage (%): 99.5669
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.29
system time used= 1.83572
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37982
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= 38335
involuntary context switches= 38677

runsolver used 2.03669 s user time and 4.85226 s system time

The end

Launcher Data (download as text)

Begin job on node58 on Wed Jan 10 05:58:32 UTC 2007


IDJOB= 252620
IDBENCH= 12958
FILE ID= node58/252620-1168408712

PBS_JOBID= 3523430

Free space on /tmp= 66552 MiB

BENCH NAME= HOME/pub/bench/CPAI06/socialGolfers/socialGolfer-9-4-8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/252620-1168408712/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node58/watcher-252620-1168408712 -o ROOT/results/node58/solver-252620-1168408712 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/252620-1168408712/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  0fa2224912b1d835827875229dbae41a

RANDOM SEED= 657656860

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.223
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.223
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:       1517576 kB
Buffers:         66580 kB
Cached:         377324 kB
SwapCached:          0 kB
Active:         197408 kB
Inactive:       284100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1517576 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6852 kB
Writeback:           0 kB
Mapped:          49012 kB
Slab:            42320 kB
Committed_AS:  3576604 kB
PageTables:       1740 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= 66555 MiB



End job on node58 on Wed Jan 10 06:28:40 UTC 2007