Trace number 225327

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 ACUNSAT 280.36 280.678

DiagnosticValue
CHECKS4979444244
NODES584200

General information on the benchmark

Nametightness/tightness0.9/
rand-2-40-180-84-900-27_ext.xml
MD5SUM3ac0e5fd51cdfeaeb41cf7ea716924ba
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark231.646
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints84
Maximum constraint arity2
Maximum domain size180
Number of constraints which are defined in extension84
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/225327-1168080598/unknown.xml
0.40	   
0.40	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.44	     nbVariables=40  nbDomainTypes=1  minDomainSize=180  maxDomainSize=180
0.44	       =>  wckTime=0.123  cpuTime=0.08  mem=6M951
0.44	   
0.44	   relations being loaded...
0.77	   
0.77	   constraints being loaded...
0.89	     nbConstraints=84  nbRelationTypes=84  nbExtensionStructures=84  nbSharedExtensionStructures=0
0.89	     nbConflictsStructures=84  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=8  maxArity=2
0.89	       =>  wckTime=0.582  cpuTime=0.5  mem=36M295
0.94	   
0.94	   solver IterativeSystematicSolver being built... 
1.09	       =>  wckTime=0.78  cpuTime=0.62  mem=16M209
1.10	   
1.10	   preprocessing
1.10	     nbConstraintChecks=0  nbPropagations=40  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.10	     detectedInconsistency=no
1.10	       =>  wckTime=0.0020  cpuTime=0.0  mem=16M209
1.18	   
1.18	   search
1.18	     run=0  nbConstraintChecks=224505  nbPropagations=915  nbRevisions=3194  nbUselessRevisions=1504  nbAssignments=31
1.18	     nbFailedAssignments=16  nbBacktracks=10  nbVisitedNodes=53  nbRestartNogoods=0  mapSize=5  nbInferences=0
1.18	     nbTooLargeKeys=0
1.18	       =>  wckTime=0.08  cpuTime=0.05  mem=16M209
1.24	   
1.24	   search
1.24	     run=1  nbConstraintChecks=1111881  nbPropagations=4531  nbRevisions=16135  nbUselessRevisions=7603
1.24	     nbAssignments=133  nbFailedAssignments=99  nbBacktracks=25  nbVisitedNodes=251  nbRestartNogoods=7  mapSize=20
1.24	     nbInferences=0  nbTooLargeKeys=0
1.24	       =>  wckTime=0.143  cpuTime=0.11  mem=16M209
1.29	   
1.29	   search
1.29	     run=2  nbConstraintChecks=1880373  nbPropagations=10822  nbRevisions=39216  nbUselessRevisions=18590
1.29	     nbAssignments=228  nbFailedAssignments=168  nbBacktracks=48  nbVisitedNodes=433  nbRestartNogoods=13  mapSize=40
1.29	     nbInferences=0  nbTooLargeKeys=0
1.29	       =>  wckTime=0.196  cpuTime=0.15  mem=16M209
1.39	   
1.39	   search
1.39	     run=3  nbConstraintChecks=3368312  nbPropagations=22271  nbRevisions=82415  nbUselessRevisions=38634
1.39	     nbAssignments=381  nbFailedAssignments=284  nbBacktracks=81  nbVisitedNodes=731  nbRestartNogoods=20  mapSize=72
1.39	     nbInferences=0  nbTooLargeKeys=0
1.39	       =>  wckTime=0.29  cpuTime=0.24  mem=16M209
1.52	   
1.52	   search
1.52	     run=4  nbConstraintChecks=5638220  nbPropagations=41047  nbRevisions=152244  nbUselessRevisions=71010
1.52	     nbAssignments=609  nbFailedAssignments=458  nbBacktracks=131  nbVisitedNodes=1168  nbRestartNogoods=39  mapSize=117
1.52	     nbInferences=0  nbTooLargeKeys=0
1.52	       =>  wckTime=0.42  cpuTime=0.36  mem=16M209
1.69	   
1.69	   search
1.69	     run=5  nbConstraintChecks=8450861  nbPropagations=70547  nbRevisions=262120  nbUselessRevisions=122287
1.69	     nbAssignments=964  nbFailedAssignments=735  nbBacktracks=206  nbVisitedNodes=1858  nbRestartNogoods=43  mapSize=178
1.69	     nbInferences=0  nbTooLargeKeys=0
1.69	       =>  wckTime=0.591  cpuTime=0.53  mem=16M209
1.89	   
1.89	   search
1.89	     run=6  nbConstraintChecks=12176885  nbPropagations=111951  nbRevisions=418161  nbUselessRevisions=195294
1.89	     nbAssignments=1335  nbFailedAssignments=988  nbBacktracks=319  nbVisitedNodes=2563  nbRestartNogoods=59
1.89	     mapSize=279  nbInferences=0  nbTooLargeKeys=0
1.89	       =>  wckTime=0.796  cpuTime=0.73  mem=16M209
2.27	   
2.27	   search
2.27	     run=7  nbConstraintChecks=18206026  nbPropagations=176963  nbRevisions=662482  nbUselessRevisions=309054
2.27	     nbAssignments=2081  nbFailedAssignments=1561  nbBacktracks=489  nbVisitedNodes=4015  nbRestartNogoods=79
2.27	     mapSize=430  nbInferences=0  nbTooLargeKeys=0
2.27	       =>  wckTime=1.176  cpuTime=1.09  mem=17M182
2.72	   
2.72	   search
2.72	     run=8  nbConstraintChecks=26135501  nbPropagations=267409  nbRevisions=1004493  nbUselessRevisions=469345
2.72	     nbAssignments=2900  nbFailedAssignments=2121  nbBacktracks=745  nbVisitedNodes=5575  nbRestartNogoods=94
2.72	     mapSize=644  nbInferences=0  nbTooLargeKeys=0
2.72	       =>  wckTime=1.623  cpuTime=1.54  mem=17M182
3.57	   
3.57	   search
3.57	     run=9  nbConstraintChecks=40370240  nbPropagations=413862  nbRevisions=1552455  nbUselessRevisions=724211
3.57	     nbAssignments=4677  nbFailedAssignments=3510  nbBacktracks=1129  nbVisitedNodes=9025  nbRestartNogoods=122
3.57	     mapSize=984  nbInferences=0  nbTooLargeKeys=0
3.57	       =>  wckTime=2.472  cpuTime=2.38  mem=17M182
3.62	   
3.62	   INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=17M182)
4.65	   
4.65	   search
4.65	     run=10  nbConstraintChecks=59735257  nbPropagations=622240  nbRevisions=2336991  nbUselessRevisions=1090665
4.65	     nbAssignments=6542  nbFailedAssignments=4796  nbBacktracks=1705  nbVisitedNodes=12582  nbRestartNogoods=140
4.65	       =>  wckTime=3.549  cpuTime=3.45  mem=17M182
6.12	   
6.12	   search
6.12	     run=11  nbConstraintChecks=86624460  nbPropagations=934759  nbRevisions=3507588  nbUselessRevisions=1635568
6.12	     nbAssignments=9768  nbFailedAssignments=7155  nbBacktracks=2569  nbVisitedNodes=18812  nbRestartNogoods=158
6.12	       =>  wckTime=5.02  cpuTime=4.91  mem=17M182
8.70	   
8.70	   search
8.70	     run=12  nbConstraintChecks=134629010  nbPropagations=1400518  nbRevisions=5266597  nbUselessRevisions=2457763
8.70	     nbAssignments=14366  nbFailedAssignments=10454  nbBacktracks=3866  nbVisitedNodes=27670  nbRestartNogoods=171
8.70	       =>  wckTime=7.603  cpuTime=7.49  mem=17M182
12.03	   
12.04	   search
12.04	     run=13  nbConstraintChecks=192642242  nbPropagations=2103360  nbRevisions=7910052  nbUselessRevisions=3689345
12.04	     nbAssignments=21969  nbFailedAssignments=16107  nbBacktracks=5812  nbVisitedNodes=42419  nbRestartNogoods=197
12.04	       =>  wckTime=10.938  cpuTime=10.83  mem=17M182
16.82	   
16.82	   search
16.82	     run=14  nbConstraintChecks=277188116  nbPropagations=3130176  nbRevisions=11758695  nbUselessRevisions=5480898
16.82	     nbAssignments=32279  nbFailedAssignments=23495  nbBacktracks=8731  nbVisitedNodes=62078  nbRestartNogoods=218
16.82	       =>  wckTime=15.724  cpuTime=15.61  mem=17M182
25.67	   
25.67	   search
25.67	     run=15  nbConstraintChecks=436642286  nbPropagations=4707283  nbRevisions=17692204  nbUselessRevisions=8243047
25.67	     nbAssignments=49049  nbFailedAssignments=35885  nbBacktracks=13109  nbVisitedNodes=94403  nbRestartNogoods=237
25.67	       =>  wckTime=24.574  cpuTime=24.46  mem=17M182
38.24	   
38.24	   search
38.24	     run=16  nbConstraintChecks=659655045  nbPropagations=7091669  nbRevisions=26685525  nbUselessRevisions=12427387
38.24	     nbAssignments=73690  nbFailedAssignments=53953  nbBacktracks=19677  nbVisitedNodes=141972  nbRestartNogoods=257
38.24	       =>  wckTime=37.142  cpuTime=37.02  mem=17M182
55.46	   
55.46	   search
55.46	     run=17  nbConstraintChecks=962494911  nbPropagations=10669538  nbRevisions=40113280  nbUselessRevisions=18672990
55.46	     nbAssignments=112209  nbFailedAssignments=82616  nbBacktracks=29529  nbVisitedNodes=216076  nbRestartNogoods=280
55.46	       =>  wckTime=54.361  cpuTime=54.22  mem=17M182
82.91	   
82.91	   search
82.91	     run=18  nbConstraintChecks=1451369308  nbPropagations=16062929  nbRevisions=60333410  nbUselessRevisions=28074252
82.91	     nbAssignments=168824  nbFailedAssignments=124450  nbBacktracks=44307  nbVisitedNodes=325335  nbRestartNogoods=295
82.91	       =>  wckTime=81.816  cpuTime=81.66  mem=17M182
125.29	   
125.29	   search
125.29	     run=19  nbConstraintChecks=2211311223  nbPropagations=24274805  nbRevisions=91069249  nbUselessRevisions=42375469
125.29	     nbAssignments=257468  nbFailedAssignments=190922  nbBacktracks=66475  nbVisitedNodes=496472  nbRestartNogoods=309
125.29	       =>  wckTime=124.196  cpuTime=124.01  mem=17M182
190.69	   
190.69	   search
190.69	     run=20  nbConstraintChecks=3388170723  nbPropagations=36754800  nbRevisions=137895361  nbUselessRevisions=64212094
190.69	     nbAssignments=393100  nbFailedAssignments=293298  nbBacktracks=99728  nbVisitedNodes=758554  nbRestartNogoods=328
190.69	       =>  wckTime=189.589  cpuTime=189.36  mem=17M182
280.61	   
280.61	   search
280.61	     run=21  nbConstraintChecks=4979444244  nbPropagations=55224335  nbRevisions=207521532  nbUselessRevisions=96684379
280.61	     nbAssignments=584200  nbFailedAssignments=440471  nbBacktracks=143656  nbVisitedNodes=1130527  nbRestartNogoods=333
280.61	       =>  wckTime=279.513  cpuTime=279.22  mem=17M182
280.61	   
280.61	   global
280.61	     nbConstraintChecks=4979444244  nbPropagations=55224375  nbRevisions=207521532  nbUselessRevisions=96684379
280.61	     nbRestartNogoods=333  solvingWckTime=279.513  solvingCpuTime=279.22  expiredTime=no  totalExploration=yes
280.61	     nbFoundSolutions=0  globalCpuTime=279.9
280.61	       =>  wckTime=280.298  cpuTime=279.85  mem=17M182
280.61	   
280.61	s UNSATISFIABLE
280.61	d NODES 584200
280.61	d CHECKS 4979444244
280.61	   
280.61	   totalWckTime=280.374  totalCpuTime=279.9

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node25/watcher-225327-1168080598 -o ROOT/results/node25/solver-225327-1168080598 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225327-1168080598/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.19 0.69 0.93 3/81 31092
/proc/meminfo: memFree=1649024/2055920 swapFree=4192812/4192956
[pid=31091] ppid=31089 vsize=1784 CPUtime=0
/proc/31091/stat : 31091 (java) D 31089 31091 30875 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 156452546 1826816 140 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/31091/statm: 446 140 106 14 0 91 0

[startup+0.103807 s]
/proc/loadavg: 0.19 0.69 0.93 3/81 31092
/proc/meminfo: memFree=1649024/2055920 swapFree=4192812/4192956
[pid=31091] ppid=31089 vsize=912760 CPUtime=0.07
/proc/31091/stat : 31091 (java) R 31089 31091 30875 0 -1 0 2774 0 1 0 6 1 0 0 24 0 8 0 156452546 934666240 2520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072936462 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31091/statm: 228190 2520 1386 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760

[startup+0.51188 s]
/proc/loadavg: 0.19 0.69 0.93 3/81 31092
/proc/meminfo: memFree=1649024/2055920 swapFree=4192812/4192956
[pid=31091] ppid=31089 vsize=915328 CPUtime=0.45
/proc/31091/stat : 31091 (java) R 31089 31091 30875 0 -1 0 7204 0 1 0 41 4 0 0 24 0 8 0 156452546 937295872 6943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073561810 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31091/statm: 228832 6943 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328

[startup+1.34002 s]
/proc/loadavg: 0.19 0.69 0.93 4/100 31111
/proc/meminfo: memFree=1555368/2055920 swapFree=4192812/4192956
[pid=31091] ppid=31089 vsize=915464 CPUtime=1.27
/proc/31091/stat : 31091 (java) R 31089 31091 30875 0 -1 0 14348 0 1 0 119 8 0 0 25 0 8 0 156452546 937435136 14086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741113 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31091/statm: 228866 14086 2513 14 0 215336 0
[pid=31091/tid=31098] ppid=31089 vsize=915464 CPUtime=0.03
/proc/31091/task/31098/stat : 31098 (java) S 31089 31091 30875 0 -1 64 612 0 0 0 3 0 0 0 17 0 8 0 156452551 937435136 14086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31099] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31099/stat : 31099 (java) S 31089 31091 30875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31100] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31100/stat : 31100 (java) S 31089 31091 30875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31104] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31104/stat : 31104 (java) S 31089 31091 30875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156452555 937435136 14086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31105] ppid=31089 vsize=915464 CPUtime=0.16
/proc/31091/task/31105/stat : 31105 (java) S 31089 31091 30875 0 -1 64 359 0 0 0 15 1 0 0 16 0 8 0 156452555 937435136 14086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31106] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31106/stat : 31106 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156452555 937435136 14086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31107] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31107/stat : 31107 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156452555 937435136 14086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915464

[startup+2.97729 s]
/proc/loadavg: 0.26 0.70 0.93 2/88 31111
/proc/meminfo: memFree=1601992/2055920 swapFree=4192812/4192956
[pid=31091] ppid=31089 vsize=915464 CPUtime=2.89
/proc/31091/stat : 31091 (java) R 31089 31091 30875 0 -1 0 14364 0 1 0 281 8 0 0 17 0 8 0 156452546 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782570 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31091/statm: 228866 14101 2513 14 0 215336 0
[pid=31091/tid=31098] ppid=31089 vsize=915464 CPUtime=0.03
/proc/31091/task/31098/stat : 31098 (java) S 31089 31091 30875 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156452551 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31099] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31099/stat : 31099 (java) S 31089 31091 30875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31100] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31100/stat : 31100 (java) S 31089 31091 30875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31104] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31104/stat : 31104 (java) S 31089 31091 30875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156452555 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31105] ppid=31089 vsize=915464 CPUtime=0.19
/proc/31091/task/31105/stat : 31105 (java) S 31089 31091 30875 0 -1 64 374 0 0 0 18 1 0 0 16 0 8 0 156452555 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31106] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31106/stat : 31106 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156452555 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31107] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31107/stat : 31107 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156452555 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915464

[startup+6.27085 s]
/proc/loadavg: 0.26 0.70 0.93 3/90 31119
/proc/meminfo: memFree=1586872/2055920 swapFree=4192812/4192956
[pid=31091] ppid=31089 vsize=915464 CPUtime=6.18
/proc/31091/stat : 31091 (java) R 31089 31091 30875 0 -1 0 14369 0 1 0 610 8 0 0 25 0 8 0 156452546 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763686 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31091/statm: 228866 14105 2513 14 0 215336 0
[pid=31091/tid=31098] ppid=31089 vsize=915464 CPUtime=0.03
/proc/31091/task/31098/stat : 31098 (java) S 31089 31091 30875 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156452551 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31099] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31099/stat : 31099 (java) S 31089 31091 30875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31100] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31100/stat : 31100 (java) S 31089 31091 30875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31104] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31104/stat : 31104 (java) S 31089 31091 30875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31105] ppid=31089 vsize=915464 CPUtime=0.19
/proc/31091/task/31105/stat : 31105 (java) S 31089 31091 30875 0 -1 64 378 0 0 0 18 1 0 0 16 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31106] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31106/stat : 31106 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31107] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31107/stat : 31107 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915464

[startup+12.7429 s]
/proc/loadavg: 0.37 0.71 0.93 2/88 31119
/proc/meminfo: memFree=1601944/2055920 swapFree=4192812/4192956
[pid=31091] ppid=31089 vsize=915464 CPUtime=12.64
/proc/31091/stat : 31091 (java) R 31089 31091 30875 0 -1 0 14370 0 1 0 1256 8 0 0 25 0 8 0 156452546 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741082 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31091/statm: 228866 14105 2513 14 0 215336 0
[pid=31091/tid=31098] ppid=31089 vsize=915464 CPUtime=0.03
/proc/31091/task/31098/stat : 31098 (java) S 31089 31091 30875 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156452551 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31099] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31099/stat : 31099 (java) S 31089 31091 30875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31100] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31100/stat : 31100 (java) S 31089 31091 30875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31104] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31104/stat : 31104 (java) S 31089 31091 30875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31105] ppid=31089 vsize=915464 CPUtime=0.19
/proc/31091/task/31105/stat : 31105 (java) S 31089 31091 30875 0 -1 64 378 0 0 0 18 1 0 0 16 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31106] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31106/stat : 31106 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31107] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31107/stat : 31107 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915464

[startup+25.5831 s]
/proc/loadavg: 0.47 0.72 0.93 2/88 31119
/proc/meminfo: memFree=1602152/2055920 swapFree=4192812/4192956
[pid=31091] ppid=31089 vsize=915464 CPUtime=25.48
/proc/31091/stat : 31091 (java) R 31089 31091 30875 0 -1 0 14370 0 1 0 2539 9 0 0 25 0 8 0 156452546 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31091/statm: 228866 14105 2513 14 0 215336 0
[pid=31091/tid=31098] ppid=31089 vsize=915464 CPUtime=0.03
/proc/31091/task/31098/stat : 31098 (java) S 31089 31091 30875 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156452551 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31099] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31099/stat : 31099 (java) S 31089 31091 30875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31100] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31100/stat : 31100 (java) S 31089 31091 30875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31104] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31104/stat : 31104 (java) S 31089 31091 30875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31105] ppid=31089 vsize=915464 CPUtime=0.19
/proc/31091/task/31105/stat : 31105 (java) S 31089 31091 30875 0 -1 64 378 0 0 0 18 1 0 0 16 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31106] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31106/stat : 31106 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31107] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31107/stat : 31107 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915464

[startup+51.2755 s]
/proc/loadavg: 0.65 0.74 0.93 2/88 31122
/proc/meminfo: memFree=1605800/2055920 swapFree=4192812/4192956
[pid=31091] ppid=31089 vsize=915464 CPUtime=51.16
/proc/31091/stat : 31091 (java) R 31089 31091 30875 0 -1 0 14370 0 1 0 5107 9 0 0 25 0 8 0 156452546 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073762748 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31091/statm: 228866 14105 2513 14 0 215336 0
[pid=31091/tid=31098] ppid=31089 vsize=915464 CPUtime=0.03
/proc/31091/task/31098/stat : 31098 (java) S 31089 31091 30875 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156452551 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31099] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31099/stat : 31099 (java) S 31089 31091 30875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31100] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31100/stat : 31100 (java) S 31089 31091 30875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31104] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31104/stat : 31104 (java) S 31089 31091 30875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31105] ppid=31089 vsize=915464 CPUtime=0.19
/proc/31091/task/31105/stat : 31105 (java) S 31089 31091 30875 0 -1 64 378 0 0 0 18 1 0 0 16 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31106] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31106/stat : 31106 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31107] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31107/stat : 31107 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 915464

[startup+102.574 s]
/proc/loadavg: 1.19 0.87 0.97 2/88 31175
/proc/meminfo: memFree=1600416/2055920 swapFree=4192812/4192956
[pid=31091] ppid=31089 vsize=915464 CPUtime=102.41
/proc/31091/stat : 31091 (java) R 31089 31091 30875 0 -1 0 14370 0 1 0 10230 11 0 0 25 0 8 0 156452546 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31091/statm: 228866 14105 2513 14 0 215336 0
[pid=31091/tid=31098] ppid=31089 vsize=915464 CPUtime=0.03
/proc/31091/task/31098/stat : 31098 (java) S 31089 31091 30875 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156452551 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31099] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31099/stat : 31099 (java) S 31089 31091 30875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31100] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31100/stat : 31100 (java) S 31089 31091 30875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31104] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31104/stat : 31104 (java) S 31089 31091 30875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31105] ppid=31089 vsize=915464 CPUtime=0.19
/proc/31091/task/31105/stat : 31105 (java) S 31089 31091 30875 0 -1 64 378 0 0 0 18 1 0 0 16 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31106] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31106/stat : 31106 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31107] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31107/stat : 31107 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.41
Current children cumulated vsize (KiB) 915464

[startup+162.583 s]
/proc/loadavg: 1.14 0.91 0.97 2/88 31223
/proc/meminfo: memFree=1601000/2055920 swapFree=4192812/4192956
[pid=31091] ppid=31089 vsize=915464 CPUtime=162.38
/proc/31091/stat : 31091 (java) R 31089 31091 30875 0 -1 0 14370 0 1 0 16225 13 0 0 25 0 8 0 156452546 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756074 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31091/statm: 228866 14105 2513 14 0 215336 0
[pid=31091/tid=31098] ppid=31089 vsize=915464 CPUtime=0.03
/proc/31091/task/31098/stat : 31098 (java) S 31089 31091 30875 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156452551 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31099] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31099/stat : 31099 (java) S 31089 31091 30875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31100] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31100/stat : 31100 (java) S 31089 31091 30875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31104] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31104/stat : 31104 (java) S 31089 31091 30875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31105] ppid=31089 vsize=915464 CPUtime=0.19
/proc/31091/task/31105/stat : 31105 (java) S 31089 31091 30875 0 -1 64 378 0 0 0 18 1 0 0 16 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31106] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31106/stat : 31106 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31107] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31107/stat : 31107 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156452555 937435136 14105 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) 915464

[startup+222.586 s]
/proc/loadavg: 1.05 0.92 0.97 2/88 31234
/proc/meminfo: memFree=1603368/2055920 swapFree=4192812/4192956
[pid=31091] ppid=31089 vsize=915464 CPUtime=222.35
/proc/31091/stat : 31091 (java) R 31089 31091 30875 0 -1 0 14370 0 1 0 22221 14 0 0 25 0 8 0 156452546 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073748118 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31091/statm: 228866 14105 2513 14 0 215336 0
[pid=31091/tid=31098] ppid=31089 vsize=915464 CPUtime=0.03
/proc/31091/task/31098/stat : 31098 (java) S 31089 31091 30875 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156452551 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31099] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31099/stat : 31099 (java) S 31089 31091 30875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31100] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31100/stat : 31100 (java) S 31089 31091 30875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31104] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31104/stat : 31104 (java) S 31089 31091 30875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31105] ppid=31089 vsize=915464 CPUtime=0.19
/proc/31091/task/31105/stat : 31105 (java) S 31089 31091 30875 0 -1 64 378 0 0 0 18 1 0 0 16 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31106] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31106/stat : 31106 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31107] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31107/stat : 31107 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.35
Current children cumulated vsize (KiB) 915464

Child status: 0
Real time (s): 280.678
CPU time (s): 280.36
CPU user time (s): 280.204
CPU system time (s): 0.155976
CPU usage (%): 99.8867
Max. virtual memory (cumulated for all children) (KiB): 915464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 280.204
system time used= 0.155976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14376
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= 6668
involuntary context switches= 7183

runsolver used 0.25696 s user time and 0.769882 s system time

The end

Launcher Data (download as text)

Begin job on node25 on Sat Jan  6 10:50:00 UTC 2007


IDJOB= 225327
IDBENCH= 5845
FILE ID= node25/225327-1168080598

PBS_JOBID= 3476103

Free space on /tmp= 66544 MiB

BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225327-1168080598/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-225327-1168080598 -o ROOT/results/node25/solver-225327-1168080598 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225327-1168080598/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  3ac0e5fd51cdfeaeb41cf7ea716924ba

RANDOM SEED= 546666439

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.279
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.279
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:       1649440 kB
Buffers:         43864 kB
Cached:         242960 kB
SwapCached:          0 kB
Active:          84348 kB
Inactive:       250916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1649440 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7000 kB
Writeback:           0 kB
Mapped:          67432 kB
Slab:            56288 kB
Committed_AS:  2874360 kB
PageTables:       2144 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66548 MiB



End job on node25 on Sat Jan  6 10:54:44 UTC 2007