Trace number 230022

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 ACSAT 330.783 331.153

DiagnosticValue
CHECKS2359597418
NODES1402022

General information on the benchmark

Namerandom/rand-2-50-23-fcd/
rand-2-50-23-587-230-fcd-35_ext.xml
MD5SUMd74f0c4a9a4840e9de539f7a96e8ced4
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark330.783
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables50
Number of constraints469
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension469
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/230022-1168081015/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=50  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.39	       =>  wckTime=0.096  cpuTime=0.09  mem=6M951
0.39	   
0.39	   relations being loaded...
0.53	   
0.53	   constraints being loaded...
0.66	     nbConstraints=469  nbRelationTypes=469  nbExtensionStructures=469  nbSharedExtensionStructures=0
0.66	     nbConflictsStructures=469  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2545  maxDegree=25
0.66	     maxArity=2
0.66	       =>  wckTime=0.364  cpuTime=0.29  mem=17M827
0.70	   
0.70	   solver IterativeSystematicSolver being built... 
0.84	       =>  wckTime=0.546  cpuTime=0.41  mem=15M369
0.85	   
0.85	   preprocessing
0.85	     nbConstraintChecks=0  nbPropagations=50  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.85	     detectedInconsistency=no
0.85	       =>  wckTime=0.0080  cpuTime=0.01  mem=15M369
0.90	   
0.90	   search
0.90	     run=0  nbConstraintChecks=59357  nbPropagations=702  nbRevisions=8226  nbUselessRevisions=6643  nbAssignments=30
0.90	     nbFailedAssignments=10  nbBacktracks=11  nbVisitedNodes=48  nbRestartNogoods=0  mapSize=10  nbInferences=0
0.90	     nbTooLargeKeys=0
0.90	       =>  wckTime=0.054  cpuTime=0.04  mem=15M369
0.92	   
0.92	   search
0.92	     run=1  nbConstraintChecks=117284  nbPropagations=2090  nbRevisions=25782  nbUselessRevisions=20908
0.92	     nbAssignments=65  nbFailedAssignments=20  nbBacktracks=27  nbVisitedNodes=103  nbRestartNogoods=2  mapSize=26
0.92	     nbInferences=0  nbTooLargeKeys=0
0.92	       =>  wckTime=0.076  cpuTime=0.05  mem=15M369
0.94	   
0.94	   search
0.94	     run=2  nbConstraintChecks=180058  nbPropagations=4211  nbRevisions=53074  nbUselessRevisions=43254
0.94	     nbAssignments=102  nbFailedAssignments=28  nbBacktracks=49  nbVisitedNodes=159  nbRestartNogoods=3  mapSize=41
0.94	     nbInferences=0  nbTooLargeKeys=0
0.94	       =>  wckTime=0.092  cpuTime=0.06  mem=15M369
0.96	   
0.96	   search
0.96	     run=3  nbConstraintChecks=285360  nbPropagations=7594  nbRevisions=97752  nbUselessRevisions=79808
0.96	     nbAssignments=162  nbFailedAssignments=45  nbBacktracks=82  nbVisitedNodes=256  nbRestartNogoods=4  mapSize=67
0.96	     nbInferences=0  nbTooLargeKeys=0
0.96	       =>  wckTime=0.112  cpuTime=0.08  mem=15M369
0.99	   
0.99	   search
0.99	     run=4  nbConstraintChecks=454548  nbPropagations=12859  nbRevisions=169944  nbUselessRevisions=138655
0.99	     nbAssignments=259  nbFailedAssignments=78  nbBacktracks=133  nbVisitedNodes=416  nbRestartNogoods=8  mapSize=109
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.142  cpuTime=0.11  mem=15M369
1.02	   
1.02	   search
1.02	     run=5  nbConstraintChecks=630628  nbPropagations=20271  nbRevisions=272758  nbUselessRevisions=222694
1.02	     nbAssignments=389  nbFailedAssignments=122  nbBacktracks=209  nbVisitedNodes=617  nbRestartNogoods=13  mapSize=161
1.02	     nbInferences=0  nbTooLargeKeys=0
1.02	       =>  wckTime=0.177  cpuTime=0.14  mem=15M369
1.08	   
1.08	   search
1.08	     run=6  nbConstraintChecks=948152  nbPropagations=31537  nbRevisions=433484  nbUselessRevisions=354607
1.08	     nbAssignments=588  nbFailedAssignments=199  nbBacktracks=323  nbVisitedNodes=956  nbRestartNogoods=17  mapSize=258
1.08	     nbInferences=0  nbTooLargeKeys=0
1.08	       =>  wckTime=0.232  cpuTime=0.19  mem=15M369
1.15	   
1.15	   search
1.15	     run=7  nbConstraintChecks=1335928  nbPropagations=47843  nbRevisions=670070  nbUselessRevisions=548956
1.15	     nbAssignments=862  nbFailedAssignments=293  nbBacktracks=493  nbVisitedNodes=1407  nbRestartNogoods=19  mapSize=386
1.15	     nbInferences=0  nbTooLargeKeys=0
1.15	       =>  wckTime=0.303  cpuTime=0.26  mem=15M369
1.26	   
1.26	   search
1.26	     run=8  nbConstraintChecks=1988827  nbPropagations=72081  nbRevisions=1025591  nbUselessRevisions=841253
1.26	     nbAssignments=1285  nbFailedAssignments=443  nbBacktracks=754  nbVisitedNodes=2111  nbRestartNogoods=26
1.26	     mapSize=597  nbInferences=0  nbTooLargeKeys=0
1.26	       =>  wckTime=0.416  cpuTime=0.37  mem=15M369
1.42	   
1.42	   search
1.42	     run=9  nbConstraintChecks=2937234  nbPropagations=107893  nbRevisions=1561077  nbUselessRevisions=1282014
1.42	     nbAssignments=1912  nbFailedAssignments=675  nbBacktracks=1140  nbVisitedNodes=3162  nbRestartNogoods=34
1.42	     mapSize=905  nbInferences=0  nbTooLargeKeys=0
1.42	       =>  wckTime=0.579  cpuTime=0.52  mem=15M369
1.48	   
1.48	   INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=15M369)
1.66	   
1.66	   search
1.66	     run=10  nbConstraintChecks=4523239  nbPropagations=162164  nbRevisions=2386164  nbUselessRevisions=1960752
1.66	     nbAssignments=2853  nbFailedAssignments=1029  nbBacktracks=1717  nbVisitedNodes=4758  nbRestartNogoods=38
1.66	       =>  wckTime=0.819  cpuTime=0.75  mem=15M369
1.99	   
1.99	   search
1.99	     run=11  nbConstraintChecks=6953020  nbPropagations=243052  nbRevisions=3625006  nbUselessRevisions=2977596
1.99	     nbAssignments=4240  nbFailedAssignments=1544  nbBacktracks=2581  nbVisitedNodes=7097  nbRestartNogoods=43
1.99	       =>  wckTime=1.15  cpuTime=1.08  mem=15M369
2.53	   
2.53	   search
2.53	     run=12  nbConstraintChecks=10800514  nbPropagations=368255  nbRevisions=5569819  nbUselessRevisions=4576991
2.53	     nbAssignments=6457  nbFailedAssignments=2453  nbBacktracks=3880  nbVisitedNodes=10972  nbRestartNogoods=49
2.53	       =>  wckTime=1.687  cpuTime=1.62  mem=15M369
3.26	   
3.26	   search
3.26	     run=13  nbConstraintChecks=15899436  nbPropagations=553613  nbRevisions=8461097  nbUselessRevisions=6955056
3.26	     nbAssignments=9628  nbFailedAssignments=3669  nbBacktracks=5826  nbVisitedNodes=16386  nbRestartNogoods=55
3.26	       =>  wckTime=2.418  cpuTime=2.35  mem=15M369
4.45	   
4.45	   search
4.45	     run=14  nbConstraintChecks=24394226  nbPropagations=837210  nbRevisions=12889001  nbUselessRevisions=10596239
4.45	     nbAssignments=14582  nbFailedAssignments=5692  nbBacktracks=8749  nbVisitedNodes=25010  nbRestartNogoods=61
4.45	       =>  wckTime=3.606  cpuTime=3.54  mem=15M369
6.10	   
6.10	   search
6.10	     run=15  nbConstraintChecks=35990424  nbPropagations=1257115  nbRevisions=19482418  nbUselessRevisions=16022250
6.10	     nbAssignments=21647  nbFailedAssignments=8370  nbBacktracks=13129  nbVisitedNodes=37089  nbRestartNogoods=70
6.10	       =>  wckTime=5.255  cpuTime=5.19  mem=15M369
8.63	   
8.63	   search
8.63	     run=16  nbConstraintChecks=53570512  nbPropagations=1887658  nbRevisions=29352977  nbUselessRevisions=24144054
8.63	     nbAssignments=32517  nbFailedAssignments=12664  nbBacktracks=19698  nbVisitedNodes=55784  nbRestartNogoods=77
8.63	       =>  wckTime=7.79  cpuTime=7.72  mem=15M369
12.16	   
12.16	   search
12.16	     run=17  nbConstraintChecks=77840994  nbPropagations=2810161  nbRevisions=43773849  nbUselessRevisions=36002772
12.16	     nbAssignments=48274  nbFailedAssignments=18559  nbBacktracks=29550  nbVisitedNodes=82413  nbRestartNogoods=81
12.16	       =>  wckTime=11.316  cpuTime=11.24  mem=15M369
17.80	   
17.80	   search
17.80	     run=18  nbConstraintChecks=118115261  nbPropagations=4203411  nbRevisions=65552866  nbUselessRevisions=53910635
17.80	     nbAssignments=72207  nbFailedAssignments=27701  nbBacktracks=44329  nbVisitedNodes=123338  nbRestartNogoods=90
17.80	       =>  wckTime=16.958  cpuTime=16.88  mem=15M369
26.08	   
26.08	   search
26.08	     run=19  nbConstraintChecks=176380980  nbPropagations=6281287  nbRevisions=97872810  nbUselessRevisions=80443637
26.08	     nbAssignments=107558  nbFailedAssignments=40873  nbBacktracks=66497  nbVisitedNodes=183416  nbRestartNogoods=102
26.08	       =>  wckTime=25.24  cpuTime=25.13  mem=15M369
38.35	   
38.36	   search
38.36	     run=20  nbConstraintChecks=262202739  nbPropagations=9376698  nbRevisions=146208769  nbUselessRevisions=120168294
38.36	     nbAssignments=160981  nbFailedAssignments=61035  nbBacktracks=99750  nbVisitedNodes=274481  nbRestartNogoods=119
38.36	       =>  wckTime=37.511  cpuTime=37.39  mem=15M369
56.35	   
56.35	   search
56.35	     run=21  nbConstraintChecks=389034419  nbPropagations=13956791  nbRevisions=217876534  nbUselessRevisions=179077878
56.35	     nbAssignments=239948  nbFailedAssignments=90111  nbBacktracks=149628  nbVisitedNodes=408080  nbRestartNogoods=125
56.35	       =>  wckTime=55.509  cpuTime=55.39  mem=15M369
84.15	   
84.15	   search
84.15	     run=22  nbConstraintChecks=586658401  nbPropagations=20839479  nbRevisions=325629453  nbUselessRevisions=267686364
84.15	     nbAssignments=359440  nbFailedAssignments=134773  nbBacktracks=224448  nbVisitedNodes=611685  nbRestartNogoods=141
84.15	       =>  wckTime=83.306  cpuTime=83.16  mem=15M369
126.54	   
126.54	   search
126.54	     run=23  nbConstraintChecks=886642733  nbPropagations=31218966  nbRevisions=488395264  nbUselessRevisions=401525327
126.54	     nbAssignments=540160  nbFailedAssignments=203256  nbBacktracks=336675  nbVisitedNodes=920180  nbRestartNogoods=159
126.54	       =>  wckTime=125.696  cpuTime=125.54  mem=15M369
188.78	   
188.78	   search
188.78	     run=24  nbConstraintChecks=1329522599  nbPropagations=46746977  nbRevisions=731409451  nbUselessRevisions=601307223
188.78	     nbAssignments=809119  nbFailedAssignments=303866  nbBacktracks=505016  nbVisitedNodes=1377685  nbRestartNogoods=174
188.78	       =>  wckTime=187.935  cpuTime=187.7  mem=15M369
288.60	   
288.60	   search
288.60	     run=25  nbConstraintChecks=2060713031  nbPropagations=70398130  nbRevisions=1100959417
288.60	     nbUselessRevisions=904595651  nbAssignments=1217052  nbFailedAssignments=459279  nbBacktracks=757527
288.60	     nbVisitedNodes=2074234  nbRestartNogoods=183
288.60	       =>  wckTime=287.759  cpuTime=287.39  mem=15M369
331.12	   
331.12	   search
331.12	     run=26  nbConstraintChecks=2359597418  nbPropagations=97547453  nbRevisions=1525520182
331.12	     nbUselessRevisions=1253125805  nbAssignments=1402022  nbFailedAssignments=526991  nbBacktracks=874735
331.12	     nbVisitedNodes=2387503  nbRestartNogoods=201
331.12	       =>  wckTime=330.277  cpuTime=329.87  mem=15M369
331.12	   
331.12	   global
331.12	     nbConstraintChecks=2359597418  nbPropagations=97547503  nbRevisions=1525520182  nbUselessRevisions=1253125805
331.12	     nbRestartNogoods=201  solvingWckTime=330.278  solvingCpuTime=329.87  expiredTime=no  totalExploration=no
331.12	     nbFoundSolutions=1  globalCpuTime=330.32
331.12	       =>  wckTime=330.827  cpuTime=330.28  mem=15M369
331.13	   
331.13	s SATISFIABLE
331.13	v 12 0 9 12 21 9 12 1 18 5 10 10 16 18 20 3 0 13 5 5 15 20 9 6 6 10 20 6 17 18 0 22 18 15 14 9 22 3 9 12 6 22 10 16 18 12 20 17 2 13 
331.13	d NODES 1402022
331.13	d CHECKS 2359597418
331.13	   
331.13	   totalWckTime=330.901  totalCpuTime=330.32

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node75/watcher-230022-1168081015 -o ROOT/results/node75/solver-230022-1168081015 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230022-1168081015/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: 0.04 0.39 0.77 1/68 24000
/proc/meminfo: memFree=1715968/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=1500 CPUtime=0
/proc/23999/stat : 23999 (java) R 23997 23999 23593 0 -1 0 88 0 0 0 0 0 0 0 19 0 1 0 156501610 1536000 69 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 6702774 0 0 4096 0 0 0 0 17 1 0 0
/proc/23999/statm: 363 65 49 14 0 8 0

[startup+0.102591 s]
/proc/loadavg: 0.04 0.39 0.77 1/68 24000
/proc/meminfo: memFree=1715968/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=914988 CPUtime=0.08
/proc/23999/stat : 23999 (java) R 23997 23999 23593 0 -1 0 2981 0 1 0 6 2 0 0 17 0 8 0 156501610 936947712 2727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154016819 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23999/statm: 228747 2727 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510638 s]
/proc/loadavg: 0.04 0.39 0.77 1/68 24000
/proc/meminfo: memFree=1715968/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=915328 CPUtime=0.48
/proc/23999/stat : 23999 (java) S 23997 23999 23593 0 -1 0 7240 0 1 0 44 4 0 0 16 0 8 0 156501610 937295872 6979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23999/statm: 228832 6979 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33273 s]
/proc/loadavg: 0.11 0.40 0.77 2/75 24008
/proc/meminfo: memFree=1688328/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=915460 CPUtime=1.3
/proc/23999/stat : 23999 (java) R 23997 23999 23593 0 -1 0 9611 0 1 0 124 6 0 0 16 0 8 0 156501610 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073847164 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23999/statm: 228865 9349 2513 14 0 215335 0
[pid=23999/tid=24002] ppid=23997 vsize=915460 CPUtime=0.03
/proc/23999/task/24002/stat : 24002 (java) S 23997 23999 23593 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156501614 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24003] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24003/stat : 24003 (java) S 23997 23999 23593 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24004] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24004/stat : 24004 (java) S 23997 23999 23593 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24005] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24005/stat : 24005 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156501618 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24006] ppid=23997 vsize=915460 CPUtime=0.19
/proc/23999/task/24006/stat : 24006 (java) S 23997 23999 23593 0 -1 64 386 0 0 0 19 0 0 0 16 0 8 0 156501618 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24007] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24007/stat : 24007 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156501618 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24008/stat : 24008 (java) S 23997 23999 23593 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156501618 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460

[startup+2.98492 s]
/proc/loadavg: 0.11 0.40 0.77 2/75 24008
/proc/meminfo: memFree=1688200/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=915460 CPUtime=2.96
/proc/23999/stat : 23999 (java) R 23997 23999 23593 0 -1 0 9624 0 1 0 289 7 0 0 17 0 8 0 156501610 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828587 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23999/statm: 228865 9359 2513 14 0 215335 0
[pid=23999/tid=24002] ppid=23997 vsize=915460 CPUtime=0.03
/proc/23999/task/24002/stat : 24002 (java) S 23997 23999 23593 0 -1 64 410 0 0 0 3 0 0 0 17 0 8 0 156501614 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24003] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24003/stat : 24003 (java) S 23997 23999 23593 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24004] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24004/stat : 24004 (java) S 23997 23999 23593 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24005] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24005/stat : 24005 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24006] ppid=23997 vsize=915460 CPUtime=0.21
/proc/23999/task/24006/stat : 24006 (java) S 23997 23999 23593 0 -1 64 397 0 0 0 21 0 0 0 15 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24007] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24007/stat : 24007 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24008/stat : 24008 (java) S 23997 23999 23593 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915460

[startup+6.26331 s]
/proc/loadavg: 0.18 0.41 0.77 2/75 24008
/proc/meminfo: memFree=1688200/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=915460 CPUtime=6.24
/proc/23999/stat : 23999 (java) R 23997 23999 23593 0 -1 0 9624 0 1 0 617 7 0 0 22 0 8 0 156501610 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23999/statm: 228865 9359 2513 14 0 215335 0
[pid=23999/tid=24002] ppid=23997 vsize=915460 CPUtime=0.03
/proc/23999/task/24002/stat : 24002 (java) S 23997 23999 23593 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156501614 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24003] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24003/stat : 24003 (java) S 23997 23999 23593 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24004] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24004/stat : 24004 (java) S 23997 23999 23593 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24005] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24005/stat : 24005 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24006] ppid=23997 vsize=915460 CPUtime=0.21
/proc/23999/task/24006/stat : 24006 (java) S 23997 23999 23593 0 -1 64 397 0 0 0 21 0 0 0 15 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24007] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24007/stat : 24007 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24008/stat : 24008 (java) S 23997 23999 23593 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915460

[startup+12.7451 s]
/proc/loadavg: 0.25 0.42 0.77 2/75 24011
/proc/meminfo: memFree=1687944/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=915460 CPUtime=12.71
/proc/23999/stat : 23999 (java) R 23997 23999 23593 0 -1 0 9624 0 1 0 1264 7 0 0 25 0 8 0 156501610 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812559 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23999/statm: 228865 9359 2513 14 0 215335 0
[pid=23999/tid=24002] ppid=23997 vsize=915460 CPUtime=0.03
/proc/23999/task/24002/stat : 24002 (java) S 23997 23999 23593 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156501614 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24003] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24003/stat : 24003 (java) S 23997 23999 23593 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24004] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24004/stat : 24004 (java) S 23997 23999 23593 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24005] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24005/stat : 24005 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24006] ppid=23997 vsize=915460 CPUtime=0.21
/proc/23999/task/24006/stat : 24006 (java) S 23997 23999 23593 0 -1 64 397 0 0 0 21 0 0 0 16 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24007] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24007/stat : 24007 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24008/stat : 24008 (java) S 23997 23999 23593 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915460

[startup+25.5776 s]
/proc/loadavg: 0.36 0.44 0.78 3/87 24053
/proc/meminfo: memFree=1679072/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=915460 CPUtime=25.51
/proc/23999/stat : 23999 (java) R 23997 23999 23593 0 -1 0 9624 0 1 0 2544 7 0 0 25 0 8 0 156501610 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850898 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23999/statm: 228865 9359 2513 14 0 215335 0
[pid=23999/tid=24002] ppid=23997 vsize=915460 CPUtime=0.03
/proc/23999/task/24002/stat : 24002 (java) S 23997 23999 23593 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156501614 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24003] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24003/stat : 24003 (java) S 23997 23999 23593 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24004] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24004/stat : 24004 (java) S 23997 23999 23593 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24005] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24005/stat : 24005 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24006] ppid=23997 vsize=915460 CPUtime=0.21
/proc/23999/task/24006/stat : 24006 (java) S 23997 23999 23593 0 -1 64 397 0 0 0 21 0 0 0 16 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24007] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24007/stat : 24007 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24008/stat : 24008 (java) S 23997 23999 23593 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915460

[startup+51.2766 s]
/proc/loadavg: 1.06 0.60 0.82 3/87 24053
/proc/meminfo: memFree=1657888/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=915460 CPUtime=51.2
/proc/23999/stat : 23999 (java) R 23997 23999 23593 0 -1 0 9626 0 1 0 5113 7 0 0 25 0 8 0 156501610 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821811 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23999/statm: 228865 9360 2513 14 0 215335 0
[pid=23999/tid=24002] ppid=23997 vsize=915460 CPUtime=0.03
/proc/23999/task/24002/stat : 24002 (java) S 23997 23999 23593 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156501614 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24003] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24003/stat : 24003 (java) S 23997 23999 23593 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24004] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24004/stat : 24004 (java) S 23997 23999 23593 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24005] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24005/stat : 24005 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156501618 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24006] ppid=23997 vsize=915460 CPUtime=0.21
/proc/23999/task/24006/stat : 24006 (java) S 23997 23999 23593 0 -1 64 398 0 0 0 21 0 0 0 16 0 8 0 156501618 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24007] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24007/stat : 24007 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156501618 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24008/stat : 24008 (java) S 23997 23999 23593 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156501618 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915460

[startup+102.556 s]
/proc/loadavg: 1.20 0.72 0.85 2/75 24061
/proc/meminfo: memFree=1685640/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=915460 CPUtime=102.45
/proc/23999/stat : 23999 (java) R 23997 23999 23593 0 -1 0 9626 0 1 0 10238 7 0 0 25 0 8 0 156501610 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835305 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23999/statm: 228865 9360 2513 14 0 215335 0
[pid=23999/tid=24002] ppid=23997 vsize=915460 CPUtime=0.03
/proc/23999/task/24002/stat : 24002 (java) S 23997 23999 23593 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156501614 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24003] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24003/stat : 24003 (java) S 23997 23999 23593 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24004] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24004/stat : 24004 (java) S 23997 23999 23593 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24005] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24005/stat : 24005 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156501618 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24006] ppid=23997 vsize=915460 CPUtime=0.21
/proc/23999/task/24006/stat : 24006 (java) S 23997 23999 23593 0 -1 64 398 0 0 0 21 0 0 0 16 0 8 0 156501618 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24007] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24007/stat : 24007 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156501618 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24008/stat : 24008 (java) S 23997 23999 23593 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156501618 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.45
Current children cumulated vsize (KiB) 915460

[startup+162.556 s]
/proc/loadavg: 1.07 0.77 0.85 2/75 24109
/proc/meminfo: memFree=1685192/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=915460 CPUtime=162.38
/proc/23999/stat : 23999 (java) R 23997 23999 23593 0 -1 0 9627 0 1 0 16231 7 0 0 25 0 8 0 156501610 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835404 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23999/statm: 228865 9361 2513 14 0 215335 0
[pid=23999/tid=24002] ppid=23997 vsize=915460 CPUtime=0.03
/proc/23999/task/24002/stat : 24002 (java) S 23997 23999 23593 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156501614 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24003] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24003/stat : 24003 (java) S 23997 23999 23593 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24004] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24004/stat : 24004 (java) S 23997 23999 23593 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24005] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24005/stat : 24005 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156501618 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24006] ppid=23997 vsize=915460 CPUtime=0.21
/proc/23999/task/24006/stat : 24006 (java) S 23997 23999 23593 0 -1 64 399 0 0 0 21 0 0 0 16 0 8 0 156501618 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24007] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24007/stat : 24007 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156501618 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24008/stat : 24008 (java) S 23997 23999 23593 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156501618 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.38
Current children cumulated vsize (KiB) 915460

[startup+222.657 s]
/proc/loadavg: 1.02 0.81 0.86 2/75 24118
/proc/meminfo: memFree=1687176/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=915460 CPUtime=222.47
/proc/23999/stat : 23999 (java) R 23997 23999 23593 0 -1 0 9627 0 1 0 22239 8 0 0 25 0 8 0 156501610 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839252 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23999/statm: 228865 9361 2513 14 0 215335 0
[pid=23999/tid=24002] ppid=23997 vsize=915460 CPUtime=0.03
/proc/23999/task/24002/stat : 24002 (java) S 23997 23999 23593 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156501614 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24003] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24003/stat : 24003 (java) S 23997 23999 23593 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24004] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24004/stat : 24004 (java) S 23997 23999 23593 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24005] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24005/stat : 24005 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156501618 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24006] ppid=23997 vsize=915460 CPUtime=0.21
/proc/23999/task/24006/stat : 24006 (java) S 23997 23999 23593 0 -1 64 399 0 0 0 21 0 0 0 16 0 8 0 156501618 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24007] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24007/stat : 24007 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156501618 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24008/stat : 24008 (java) S 23997 23999 23593 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156501618 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.47
Current children cumulated vsize (KiB) 915460

[startup+282.682 s]
/proc/loadavg: 1.01 0.84 0.86 2/81 24327
/proc/meminfo: memFree=1683000/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=915460 CPUtime=282.36
/proc/23999/stat : 23999 (java) R 23997 23999 23593 0 -1 0 9627 0 1 0 28227 9 0 0 25 0 8 0 156501610 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073884923 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23999/statm: 228865 9361 2513 14 0 215335 0
[pid=23999/tid=24002] ppid=23997 vsize=915460 CPUtime=0.03
/proc/23999/task/24002/stat : 24002 (java) S 23997 23999 23593 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156501614 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24003] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24003/stat : 24003 (java) S 23997 23999 23593 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24004] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24004/stat : 24004 (java) S 23997 23999 23593 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24005] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24005/stat : 24005 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156501618 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24006] ppid=23997 vsize=915460 CPUtime=0.21
/proc/23999/task/24006/stat : 24006 (java) S 23997 23999 23593 0 -1 64 399 0 0 0 21 0 0 0 16 0 8 0 156501618 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24007] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24007/stat : 24007 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156501618 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24008/stat : 24008 (java) S 23997 23999 23593 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156501618 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.36
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 331.153
CPU time (s): 330.783
CPU user time (s): 330.682
CPU system time (s): 0.100984
CPU usage (%): 99.8881
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 330.682
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9634
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= 7569
involuntary context switches= 3086

runsolver used 0.366944 s user time and 0.874867 s system time

The end

Launcher Data (download as text)

Begin job on node75 on Sat Jan  6 10:57:00 UTC 2007


IDJOB= 230022
IDBENCH= 6392
FILE ID= node75/230022-1168081015

PBS_JOBID= 3476173

Free space on /tmp= 66548 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230022-1168081015/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node75/watcher-230022-1168081015 -o ROOT/results/node75/solver-230022-1168081015 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230022-1168081015/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d74f0c4a9a4840e9de539f7a96e8ced4

RANDOM SEED= 884422439

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.218
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.218
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1716448 kB
Buffers:          6232 kB
Cached:         268808 kB
SwapCached:       2468 kB
Active:          92184 kB
Inactive:       197220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1716448 kB
SwapTotal:     4192956 kB
SwapFree:      4184496 kB
Dirty:            2128 kB
Writeback:           0 kB
Mapped:          20476 kB
Slab:            35728 kB
Committed_AS:  3120516 kB
PageTables:       1636 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= 66546 MiB



End job on node75 on Sat Jan  6 11:02:35 UTC 2007