Trace number 221802

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 ESACUNSAT 232.713 234.709

DiagnosticValue
CHECKS1597679929
NODES1137974

General information on the benchmark

Namerandom/rand-2-24/
rand-24-24-276-139-56021_ext.xml
MD5SUM5e9f67184886c7a7c73ebe1fd2f6af54
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 benchmark58.7671
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables24
Number of constraints276
Maximum constraint arity2
Maximum domain size24
Number of constraints which are defined in extension276
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.47	   
0.47	   instance
0.47	     name=/tmp/evaluation/221802-1168262243/unknown.xml
0.50	   
0.50	   domains being loaded...
0.50	   
0.50	   variables being loaded...
0.53	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.54	       =>  wckTime=0.216  cpuTime=0.09  mem=6M951
0.54	   
0.54	   relations being loaded...
0.63	   
0.63	   constraints being loaded...
0.75	     nbConstraints=276  nbRelationTypes=276  nbExtensionStructures=276  nbSharedExtensionStructures=0
0.75	     nbConflictsStructures=276  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=901  maxDegree=23
0.75	     maxArity=2
0.75	       =>  wckTime=0.433  cpuTime=0.25  mem=13M794
0.79	   
0.79	   solver IterativeSystematicSolver being built... 
0.96	       =>  wckTime=0.642  cpuTime=0.38  mem=15M98
1.01	   
1.01	   preprocessing
1.01	     nbConstraintChecks=48144  nbPropagations=623  nbRevisions=6023  nbUselessRevisions=5248  nbSingletonTests=33
1.01	     nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=0  detectedInconsistency=no
1.01	       =>  wckTime=0.044  cpuTime=0.03  mem=15M98
1.03	   
1.03	   search
1.03	     run=0  nbConstraintChecks=38688  nbPropagations=1088  nbRevisions=13865  nbUselessRevisions=12064  nbAssignments=26
1.03	     nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=46  nbRestartNogoods=0  mapSize=10  nbInferences=0
1.03	     nbTooLargeKeys=0
1.03	       =>  wckTime=0.068  cpuTime=0.05  mem=15M98
1.05	   
1.05	   search
1.05	     run=1  nbConstraintChecks=79333  nbPropagations=2661  nbRevisions=35709  nbUselessRevisions=31018  nbAssignments=58
1.05	     nbFailedAssignments=22  nbBacktracks=25  nbVisitedNodes=101  nbRestartNogoods=3  mapSize=25  nbInferences=0
1.05	     nbTooLargeKeys=0
1.05	       =>  wckTime=0.085  cpuTime=0.06  mem=15M98
1.07	   
1.07	   search
1.07	     run=2  nbConstraintChecks=146116  nbPropagations=5026  nbRevisions=71777  nbUselessRevisions=62326
1.07	     nbAssignments=108  nbFailedAssignments=43  nbBacktracks=47  nbVisitedNodes=189  nbRestartNogoods=5  mapSize=47
1.07	     nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.105  cpuTime=0.07  mem=15M98
1.09	   
1.09	   search
1.09	     run=3  nbConstraintChecks=254941  nbPropagations=8619  nbRevisions=131399  nbUselessRevisions=114000
1.09	     nbAssignments=184  nbFailedAssignments=81  nbBacktracks=80  nbVisitedNodes=333  nbRestartNogoods=10  mapSize=80
1.09	     nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.131  cpuTime=0.09  mem=15M98
1.12	   
1.12	   search
1.12	     run=4  nbConstraintChecks=378696  nbPropagations=13640  nbRevisions=217755  nbUselessRevisions=188805
1.12	     nbAssignments=285  nbFailedAssignments=128  nbBacktracks=130  nbVisitedNodes=517  nbRestartNogoods=16  mapSize=129
1.12	     nbInferences=0  nbTooLargeKeys=0
1.12	       =>  wckTime=0.156  cpuTime=0.12  mem=15M98
1.17	   
1.17	   search
1.17	     run=5  nbConstraintChecks=583923  nbPropagations=21087  nbRevisions=350292  nbUselessRevisions=303622
1.17	     nbAssignments=442  nbFailedAssignments=205  nbBacktracks=206  nbVisitedNodes=809  nbRestartNogoods=20  mapSize=203
1.17	     nbInferences=0  nbTooLargeKeys=0
1.17	       =>  wckTime=0.206  cpuTime=0.16  mem=15M98
1.22	   
1.22	   search
1.22	     run=6  nbConstraintChecks=882755  nbPropagations=31945  nbRevisions=548981  nbUselessRevisions=475732
1.22	     nbAssignments=669  nbFailedAssignments=314  nbBacktracks=319  nbVisitedNodes=1230  nbRestartNogoods=26  mapSize=314
1.22	     nbInferences=0  nbTooLargeKeys=0
1.22	       =>  wckTime=0.262  cpuTime=0.21  mem=15M98
1.31	   
1.31	   search
1.31	     run=7  nbConstraintChecks=1372855  nbPropagations=48261  nbRevisions=856802  nbUselessRevisions=742503
1.31	     nbAssignments=1026  nbFailedAssignments=497  nbBacktracks=489  nbVisitedNodes=1898  nbRestartNogoods=32
1.31	     mapSize=482  nbInferences=0  nbTooLargeKeys=0
1.31	       =>  wckTime=0.35  cpuTime=0.3  mem=15M98
1.44	   
1.44	   search
1.44	     run=8  nbConstraintChecks=2029057  nbPropagations=72203  nbRevisions=1312599  nbUselessRevisions=1137376
1.44	     nbAssignments=1529  nbFailedAssignments=738  nbBacktracks=746  nbVisitedNodes=2835  nbRestartNogoods=38
1.44	     mapSize=735  nbInferences=0  nbTooLargeKeys=0
1.44	       =>  wckTime=0.482  cpuTime=0.41  mem=15M98
1.58	   
1.58	   INFO : Stopping hyperNogood (mapSize=1034, nbTooLargekeys=0, mem=15M98)
1.61	   
1.61	   search
1.61	     run=9  nbConstraintChecks=2987997  nbPropagations=107345  nbRevisions=1984491  nbUselessRevisions=1719059
1.61	     nbAssignments=2296  nbFailedAssignments=1115  nbBacktracks=1130  nbVisitedNodes=4258  nbRestartNogoods=46
1.61	       =>  wckTime=0.647  cpuTime=0.57  mem=15M98
1.86	   
1.86	   search
1.86	     run=10  nbConstraintChecks=4525579  nbPropagations=159741  nbRevisions=2997958  nbUselessRevisions=2596578
1.86	     nbAssignments=3450  nbFailedAssignments=1689  nbBacktracks=1706  nbVisitedNodes=6413  nbRestartNogoods=54
1.86	       =>  wckTime=0.895  cpuTime=0.81  mem=15M98
2.21	   
2.21	   search
2.21	     run=11  nbConstraintChecks=6791832  nbPropagations=238115  nbRevisions=4520068  nbUselessRevisions=3914405
2.21	     nbAssignments=5171  nbFailedAssignments=2540  nbBacktracks=2570  nbVisitedNodes=9626  nbRestartNogoods=60
2.21	       =>  wckTime=1.248  cpuTime=1.15  mem=15M98
2.74	   
2.74	   search
2.74	     run=12  nbConstraintChecks=10240226  nbPropagations=355531  nbRevisions=6812149  nbUselessRevisions=5898549
2.74	     nbAssignments=7744  nbFailedAssignments=3810  nbBacktracks=3868  nbVisitedNodes=14443  nbRestartNogoods=72
2.74	       =>  wckTime=1.774  cpuTime=1.67  mem=15M98
3.54	   
3.54	   search
3.54	     run=13  nbConstraintChecks=15575449  nbPropagations=532031  nbRevisions=10293308  nbUselessRevisions=8915247
3.54	     nbAssignments=11635  nbFailedAssignments=5741  nbBacktracks=5816  nbVisitedNodes=21678  nbRestartNogoods=86
3.54	       =>  wckTime=2.582  cpuTime=2.47  mem=15M98
4.72	   
4.72	   search
4.72	     run=14  nbConstraintChecks=23319941  nbPropagations=795821  nbRevisions=15507852  nbUselessRevisions=13434466
4.72	     nbAssignments=17379  nbFailedAssignments=8561  nbBacktracks=8735  nbVisitedNodes=32421  nbRestartNogoods=100
4.72	       =>  wckTime=3.756  cpuTime=3.64  mem=15M98
6.45	   
6.45	   search
6.45	     run=15  nbConstraintChecks=34817688  nbPropagations=1188576  nbRevisions=23285960  nbUselessRevisions=20176416
6.45	     nbAssignments=25926  nbFailedAssignments=12724  nbBacktracks=13113  nbVisitedNodes=48346  nbRestartNogoods=119
6.45	       =>  wckTime=5.49  cpuTime=5.36  mem=15M98
9.08	   
9.08	   search
9.08	     run=16  nbConstraintChecks=51968132  nbPropagations=1775373  nbRevisions=34931057  nbUselessRevisions=30275022
9.08	     nbAssignments=38831  nbFailedAssignments=19056  nbBacktracks=19682  nbVisitedNodes=72449  nbRestartNogoods=139
9.08	       =>  wckTime=8.116  cpuTime=7.96  mem=15M98
13.10	   
13.10	   search
13.10	     run=17  nbConstraintChecks=78476447  nbPropagations=2658352  nbRevisions=52511177  nbUselessRevisions=45526376
13.10	     nbAssignments=58264  nbFailedAssignments=28632  nbBacktracks=29534  nbVisitedNodes=108862  nbRestartNogoods=156
13.10	       =>  wckTime=12.14  cpuTime=11.95  mem=15M98
19.03	   
19.03	   search
19.03	     run=18  nbConstraintChecks=117125604  nbPropagations=3976022  nbRevisions=78758716  nbUselessRevisions=68299640
19.03	     nbAssignments=87198  nbFailedAssignments=42782  nbBacktracks=44312  nbVisitedNodes=162767  nbRestartNogoods=165
19.03	       =>  wckTime=18.07  cpuTime=17.83  mem=15M98
28.00	   
28.00	   search
28.00	     run=19  nbConstraintChecks=176490478  nbPropagations=5952755  nbRevisions=118233310  nbUselessRevisions=102552200
28.00	     nbAssignments=130763  nbFailedAssignments=64174  nbBacktracks=66482  nbVisitedNodes=244127  nbRestartNogoods=178
28.00	       =>  wckTime=27.034  cpuTime=26.71  mem=15M98
41.74	   
41.74	   search
41.74	     run=20  nbConstraintChecks=267371632  nbPropagations=8933922  nbRevisions=177928133  nbUselessRevisions=154353971
41.74	     nbAssignments=197173  nbFailedAssignments=97326  nbBacktracks=99734  nbVisitedNodes=368337  nbRestartNogoods=197
41.74	       =>  wckTime=40.775  cpuTime=40.32  mem=15M98
62.06	   
62.06	   search
62.06	     run=21  nbConstraintChecks=401629997  nbPropagations=13403210  nbRevisions=267594702  nbUselessRevisions=232187424
62.06	     nbAssignments=295747  nbFailedAssignments=146017  nbBacktracks=149613  nbVisitedNodes=552238  nbRestartNogoods=207
62.06	       =>  wckTime=61.095  cpuTime=60.45  mem=15M98
93.00	   
93.00	   search
93.00	     run=22  nbConstraintChecks=607434913  nbPropagations=20130451  nbRevisions=403073024  nbUselessRevisions=349819198
93.00	     nbAssignments=443690  nbFailedAssignments=219136  nbBacktracks=224432  nbVisitedNodes=828683  nbRestartNogoods=221
93.00	       =>  wckTime=92.04  cpuTime=91.12  mem=15M98
139.84	   
139.84	   search
139.84	     run=23  nbConstraintChecks=918914871  nbPropagations=30267361  nbRevisions=607843693  nbUselessRevisions=527635190
139.84	     nbAssignments=665927  nbFailedAssignments=329143  nbBacktracks=336659  nbVisitedNodes=1244717  nbRestartNogoods=226
139.84	       =>  wckTime=138.874  cpuTime=137.54  mem=15M98
207.85	   
207.85	   search
207.85	     run=24  nbConstraintChecks=1401295603  nbPropagations=45582693  nbRevisions=918846409  nbUselessRevisions=797764265
207.85	     nbAssignments=1002076  nbFailedAssignments=496946  nbBacktracks=505000  nbVisitedNodes=1874298
207.85	     nbRestartNogoods=248
207.85	       =>  wckTime=206.884  cpuTime=205.1  mem=15M98
234.68	   
234.68	   search
234.68	     run=25  nbConstraintChecks=1597631785  nbPropagations=62998724  nbRevisions=1273170984
234.68	     nbUselessRevisions=1105564227  nbAssignments=1137974  nbFailedAssignments=564820  nbBacktracks=573025
234.68	     nbVisitedNodes=2128773  nbRestartNogoods=260
234.68	       =>  wckTime=233.72  cpuTime=231.8  mem=15M98
234.68	   
234.68	   global
234.68	     nbConstraintChecks=1597679929  nbPropagations=62999347  nbRevisions=1273177007  nbUselessRevisions=1105569475
234.68	     nbRestartNogoods=260  solvingWckTime=233.722  solvingCpuTime=231.8  expiredTime=no  totalExploration=yes
234.68	     nbFoundSolutions=0  globalCpuTime=232.22
234.68	       =>  wckTime=234.366  cpuTime=232.18  mem=15M98
234.69	   
234.69	s UNSATISFIABLE
234.69	d NODES 1137974
234.69	d CHECKS 1597679929
234.69	   
234.69	   totalWckTime=234.448  totalCpuTime=232.22

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/node12/watcher-221802-1168262243 -o ROOT/results/node12/solver-221802-1168262243 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221802-1168262243/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: 1.97 2.02 1.94 4/88 24981
/proc/meminfo: memFree=1799440/2055920 swapFree=4160348/4192956
[pid=24980] ppid=24978 vsize=18540 CPUtime=0
/proc/24980/stat : 24980 (runsolver) R 24978 24980 24336 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 174619323 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/24980/statm: 4635 279 244 17 0 2626 0

[startup+0.108123 s]
/proc/loadavg: 1.97 2.02 1.94 4/88 24981
/proc/meminfo: memFree=1799440/2055920 swapFree=4160348/4192956
[pid=24980] ppid=24978 vsize=914988 CPUtime=0.08
/proc/24980/stat : 24980 (java) D 24978 24980 24336 0 -1 0 2987 0 1 0 7 1 0 0 17 0 8 0 174619323 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24980/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.519198 s]
/proc/loadavg: 1.97 2.02 1.94 4/88 24981
/proc/meminfo: memFree=1799440/2055920 swapFree=4160348/4192956
[pid=24980] ppid=24978 vsize=915328 CPUtime=0.37
/proc/24980/stat : 24980 (java) R 24978 24980 24336 0 -1 0 5975 0 1 0 34 3 0 0 18 0 8 0 174619323 937295872 5714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154579342 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24980/statm: 228832 5714 2126 14 0 215302 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 915328

[startup+1.34034 s]
/proc/loadavg: 1.97 2.02 1.94 3/95 24988
/proc/meminfo: memFree=1775576/2055920 swapFree=4160348/4192956
[pid=24980] ppid=24978 vsize=915452 CPUtime=1.19
/proc/24980/stat : 24980 (java) R 24978 24980 24336 0 -1 0 8701 0 1 0 113 6 0 0 23 0 8 0 174619323 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796314 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24980/statm: 228863 8439 2524 14 0 215333 0
[pid=24980/tid=24982] ppid=24978 vsize=915452 CPUtime=0.03
/proc/24980/task/24982/stat : 24982 (java) S 24978 24980 24336 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174619327 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24983] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24983/stat : 24983 (java) S 24978 24980 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24984] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24984/stat : 24984 (java) S 24978 24980 24336 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24985] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24985/stat : 24985 (java) S 24978 24980 24336 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174619331 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24986] ppid=24978 vsize=915452 CPUtime=0.2
/proc/24980/task/24986/stat : 24986 (java) S 24978 24980 24336 0 -1 64 375 0 0 0 19 1 0 0 15 0 8 0 174619331 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24987] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24987/stat : 24987 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 174619331 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24988] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24988/stat : 24988 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174619331 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 915452

[startup+2.97763 s]
/proc/loadavg: 1.97 2.02 1.94 3/95 24988
/proc/meminfo: memFree=1775256/2055920 swapFree=4160348/4192956
[pid=24980] ppid=24978 vsize=915452 CPUtime=2.8
/proc/24980/stat : 24980 (java) R 24978 24980 24336 0 -1 0 8744 0 1 0 274 6 0 0 25 0 8 0 174619323 937422848 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796081 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24980/statm: 228863 8481 2524 14 0 215333 0
[pid=24980/tid=24982] ppid=24978 vsize=915452 CPUtime=0.03
/proc/24980/task/24982/stat : 24982 (java) S 24978 24980 24336 0 -1 64 304 0 0 0 3 0 0 0 17 0 8 0 174619327 937422848 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24983] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24983/stat : 24983 (java) S 24978 24980 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24984] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24984/stat : 24984 (java) S 24978 24980 24336 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24985] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24985/stat : 24985 (java) S 24978 24980 24336 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174619331 937422848 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24986] ppid=24978 vsize=915452 CPUtime=0.22
/proc/24980/task/24986/stat : 24986 (java) S 24978 24980 24336 0 -1 64 388 0 0 0 21 1 0 0 15 0 8 0 174619331 937422848 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24987] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24987/stat : 24987 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 174619331 937422848 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24988] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24988/stat : 24988 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174619331 937422848 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 915452

[startup+6.27723 s]
/proc/loadavg: 1.97 2.02 1.94 3/95 24988
/proc/meminfo: memFree=1775192/2055920 swapFree=4160348/4192956
[pid=24980] ppid=24978 vsize=915452 CPUtime=6.07
/proc/24980/stat : 24980 (java) R 24978 24980 24336 0 -1 0 8749 0 1 0 601 6 0 0 25 0 8 0 174619323 937422848 8485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24980/statm: 228863 8485 2524 14 0 215333 0
[pid=24980/tid=24982] ppid=24978 vsize=915452 CPUtime=0.03
/proc/24980/task/24982/stat : 24982 (java) S 24978 24980 24336 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174619327 937422848 8485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24983] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24983/stat : 24983 (java) S 24978 24980 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24984] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24984/stat : 24984 (java) S 24978 24980 24336 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24985] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24985/stat : 24985 (java) S 24978 24980 24336 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174619331 937422848 8485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24986] ppid=24978 vsize=915452 CPUtime=0.22
/proc/24980/task/24986/stat : 24986 (java) S 24978 24980 24336 0 -1 64 388 0 0 0 21 1 0 0 15 0 8 0 174619331 937422848 8485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24987] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24987/stat : 24987 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 174619331 937422848 8485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24988] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24988/stat : 24988 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174619331 937422848 8485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 915452

[startup+12.7524 s]
/proc/loadavg: 1.98 2.02 1.94 3/95 24988
/proc/meminfo: memFree=1775320/2055920 swapFree=4160348/4192956
[pid=24980] ppid=24978 vsize=915452 CPUtime=12.49
/proc/24980/stat : 24980 (java) R 24978 24980 24336 0 -1 0 8757 0 1 0 1242 7 0 0 25 0 8 0 174619323 937422848 8492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817381 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24980/statm: 228863 8492 2524 14 0 215333 0
[pid=24980/tid=24982] ppid=24978 vsize=915452 CPUtime=0.03
/proc/24980/task/24982/stat : 24982 (java) S 24978 24980 24336 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174619327 937422848 8492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24983] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24983/stat : 24983 (java) S 24978 24980 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24984] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24984/stat : 24984 (java) S 24978 24980 24336 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24985] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24985/stat : 24985 (java) S 24978 24980 24336 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174619331 937422848 8492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24986] ppid=24978 vsize=915452 CPUtime=0.22
/proc/24980/task/24986/stat : 24986 (java) S 24978 24980 24336 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 174619331 937422848 8492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24987] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24987/stat : 24987 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 174619331 937422848 8492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24988] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24988/stat : 24988 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174619331 937422848 8492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 915452

[startup+25.6147 s]
/proc/loadavg: 1.98 2.01 1.94 3/95 24988
/proc/meminfo: memFree=1775320/2055920 swapFree=4160348/4192956
[pid=24980] ppid=24978 vsize=915452 CPUtime=25.24
/proc/24980/stat : 24980 (java) R 24978 24980 24336 0 -1 0 8762 0 1 0 2517 7 0 0 25 0 8 0 174619323 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806388 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24980/statm: 228863 8497 2524 14 0 215333 0
[pid=24980/tid=24982] ppid=24978 vsize=915452 CPUtime=0.03
/proc/24980/task/24982/stat : 24982 (java) S 24978 24980 24336 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174619327 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24983] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24983/stat : 24983 (java) S 24978 24980 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24984] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24984/stat : 24984 (java) S 24978 24980 24336 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24985] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24985/stat : 24985 (java) S 24978 24980 24336 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174619331 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24986] ppid=24978 vsize=915452 CPUtime=0.22
/proc/24980/task/24986/stat : 24986 (java) S 24978 24980 24336 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 174619331 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24987] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24987/stat : 24987 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 174619331 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24988] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24988/stat : 24988 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174619331 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 915452

[startup+51.2273 s]
/proc/loadavg: 2.04 2.03 1.95 3/95 24988
/proc/meminfo: memFree=1775384/2055920 swapFree=4160348/4192956
[pid=24980] ppid=24978 vsize=915452 CPUtime=50.62
/proc/24980/stat : 24980 (java) R 24978 24980 24336 0 -1 0 8767 0 1 0 5055 7 0 0 25 0 8 0 174619323 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787721 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24980/statm: 228863 8502 2524 14 0 215333 0
[pid=24980/tid=24982] ppid=24978 vsize=915452 CPUtime=0.03
/proc/24980/task/24982/stat : 24982 (java) S 24978 24980 24336 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174619327 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24983] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24983/stat : 24983 (java) S 24978 24980 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24984] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24984/stat : 24984 (java) S 24978 24980 24336 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24985] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24985/stat : 24985 (java) S 24978 24980 24336 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174619331 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24986] ppid=24978 vsize=915452 CPUtime=0.22
/proc/24980/task/24986/stat : 24986 (java) S 24978 24980 24336 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 174619331 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24987] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24987/stat : 24987 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 174619331 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24988] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24988/stat : 24988 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174619331 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 915452

[startup+102.438 s]
/proc/loadavg: 2.02 2.02 1.95 3/95 24990
/proc/meminfo: memFree=1775320/2055920 swapFree=4160348/4192956
[pid=24980] ppid=24978 vsize=915452 CPUtime=101.36
/proc/24980/stat : 24980 (java) R 24978 24980 24336 0 -1 0 8772 0 1 0 10129 7 0 0 25 0 8 0 174619323 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073836199 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24980/statm: 228863 8507 2524 14 0 215333 0
[pid=24980/tid=24982] ppid=24978 vsize=915452 CPUtime=0.03
/proc/24980/task/24982/stat : 24982 (java) S 24978 24980 24336 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174619327 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24983] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24983/stat : 24983 (java) S 24978 24980 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24984] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24984/stat : 24984 (java) S 24978 24980 24336 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24985] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24985/stat : 24985 (java) S 24978 24980 24336 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174619331 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24986] ppid=24978 vsize=915452 CPUtime=0.22
/proc/24980/task/24986/stat : 24986 (java) S 24978 24980 24336 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 174619331 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24987] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24987/stat : 24987 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 174619331 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24988] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24988/stat : 24988 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174619331 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.36
Current children cumulated vsize (KiB) 915452

[startup+162.497 s]
/proc/loadavg: 2.00 2.02 1.95 3/95 24990
/proc/meminfo: memFree=1775256/2055920 swapFree=4160348/4192956
[pid=24980] ppid=24978 vsize=915452 CPUtime=160.88
/proc/24980/stat : 24980 (java) R 24978 24980 24336 0 -1 0 8775 0 1 0 16080 8 0 0 25 0 8 0 174619323 937422848 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073790610 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24980/statm: 228863 8510 2524 14 0 215333 0
[pid=24980/tid=24982] ppid=24978 vsize=915452 CPUtime=0.03
/proc/24980/task/24982/stat : 24982 (java) S 24978 24980 24336 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174619327 937422848 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24983] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24983/stat : 24983 (java) S 24978 24980 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24984] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24984/stat : 24984 (java) S 24978 24980 24336 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24985] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24985/stat : 24985 (java) S 24978 24980 24336 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174619331 937422848 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24986] ppid=24978 vsize=915452 CPUtime=0.22
/proc/24980/task/24986/stat : 24986 (java) S 24978 24980 24336 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 174619331 937422848 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24987] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24987/stat : 24987 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 174619331 937422848 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24988] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24988/stat : 24988 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174619331 937422848 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.88
Current children cumulated vsize (KiB) 915452

[startup+222.552 s]
/proc/loadavg: 1.96 2.00 1.94 3/93 25219
/proc/meminfo: memFree=1774896/2055920 swapFree=4160348/4192956
[pid=24980] ppid=24978 vsize=915452 CPUtime=220.63
/proc/24980/stat : 24980 (java) R 24978 24980 24336 0 -1 0 8777 0 1 0 22054 9 0 0 25 0 8 0 174619323 937422848 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811572 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24980/statm: 228863 8512 2524 14 0 215333 0
[pid=24980/tid=24982] ppid=24978 vsize=915452 CPUtime=0.03
/proc/24980/task/24982/stat : 24982 (java) S 24978 24980 24336 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174619327 937422848 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24983] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24983/stat : 24983 (java) S 24978 24980 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24984] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24984/stat : 24984 (java) S 24978 24980 24336 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24985] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24985/stat : 24985 (java) S 24978 24980 24336 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174619331 937422848 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24986] ppid=24978 vsize=915452 CPUtime=0.22
/proc/24980/task/24986/stat : 24986 (java) S 24978 24980 24336 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 174619331 937422848 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24987] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24987/stat : 24987 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 174619331 937422848 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24988] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24988/stat : 24988 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174619331 937422848 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.63
Current children cumulated vsize (KiB) 915452

Child status: 0
Real time (s): 234.709
CPU time (s): 232.713
CPU user time (s): 232.615
CPU system time (s): 0.097985
CPU usage (%): 99.1494
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 232.615
system time used= 0.097985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8870
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= 5864
involuntary context switches= 11682

runsolver used 0.298954 s user time and 0.751885 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Mon Jan  8 13:17:23 UTC 2007


IDJOB= 221802
IDBENCH= 5468
FILE ID= node12/221802-1168262243

PBS_JOBID= 3482427

Free space on /tmp= 66326 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-56021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221802-1168262243/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-221802-1168262243 -o ROOT/results/node12/solver-221802-1168262243 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221802-1168262243/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5e9f67184886c7a7c73ebe1fd2f6af54

RANDOM SEED= 400681326

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.265
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.265
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:       1799856 kB
Buffers:         46276 kB
Cached:         121448 kB
SwapCached:       5132 kB
Active:         122660 kB
Inactive:        83124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1799856 kB
SwapTotal:     4192956 kB
SwapFree:      4160348 kB
Dirty:            1916 kB
Writeback:           0 kB
Mapped:          48844 kB
Slab:            35024 kB
Committed_AS:  4975480 kB
PageTables:       2108 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= 66324 MiB



End job on node12 on Mon Jan  8 13:21:18 UTC 2007