Trace number 195194

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 255.586 255.798

DiagnosticValue
CHECKS1756254328
NODES1087419

General information on the benchmark

Namerandom/rand-2-50-23/
rand-2-50-23-587-230-19_ext.xml
MD5SUM478aa51d88e05232d3d81d79221c2e68
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 benchmark255.586
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables50
Number of constraints479
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension479
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/195194-1168069766/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.40	     nbVariables=50  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.40	       =>  wckTime=0.098  cpuTime=0.08  mem=6M951
0.40	   
0.40	   relations being loaded...
0.55	   
0.55	   constraints being loaded...
0.69	     nbConstraints=479  nbRelationTypes=479  nbExtensionStructures=479  nbSharedExtensionStructures=0
0.69	     nbConflictsStructures=479  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2661  maxDegree=29
0.69	     maxArity=2
0.69	       =>  wckTime=0.385  cpuTime=0.3  mem=18M40
0.73	   
0.73	   solver IterativeSystematicSolver being built... 
0.88	       =>  wckTime=0.578  cpuTime=0.42  mem=15M389
0.89	   
0.89	   preprocessing
0.89	     nbConstraintChecks=0  nbPropagations=50  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.89	     detectedInconsistency=no
0.89	       =>  wckTime=0.0080  cpuTime=0.0  mem=15M389
0.94	   
0.94	   search
0.94	     run=0  nbConstraintChecks=45137  nbPropagations=616  nbRevisions=6759  nbUselessRevisions=5604  nbAssignments=31
0.94	     nbFailedAssignments=8  nbBacktracks=13  nbVisitedNodes=47  nbRestartNogoods=0  mapSize=9  nbInferences=0
0.94	     nbTooLargeKeys=0
0.94	       =>  wckTime=0.054  cpuTime=0.03  mem=15M389
0.97	   
0.97	   search
0.97	     run=1  nbConstraintChecks=120128  nbPropagations=2123  nbRevisions=25811  nbUselessRevisions=21242
0.97	     nbAssignments=71  nbFailedAssignments=21  nbBacktracks=30  nbVisitedNodes=111  nbRestartNogoods=3  mapSize=25
0.97	     nbInferences=0  nbTooLargeKeys=0
0.97	       =>  wckTime=0.086  cpuTime=0.05  mem=15M389
0.98	   
0.98	   search
0.98	     run=2  nbConstraintChecks=202336  nbPropagations=4549  nbRevisions=58019  nbUselessRevisions=47731
0.98	     nbAssignments=118  nbFailedAssignments=36  nbBacktracks=52  nbVisitedNodes=185  nbRestartNogoods=5  mapSize=44
0.98	     nbInferences=0  nbTooLargeKeys=0
0.98	       =>  wckTime=0.102  cpuTime=0.07  mem=15M389
1.00	   
1.00	   search
1.00	     run=3  nbConstraintChecks=286244  nbPropagations=8066  nbRevisions=105003  nbUselessRevisions=86362
1.00	     nbAssignments=179  nbFailedAssignments=53  nbBacktracks=85  nbVisitedNodes=279  nbRestartNogoods=7  mapSize=68
1.00	     nbInferences=0  nbTooLargeKeys=0
1.00	       =>  wckTime=0.12  cpuTime=0.08  mem=15M389
1.03	   
1.03	   search
1.03	     run=4  nbConstraintChecks=415889  nbPropagations=13285  nbRevisions=176753  nbUselessRevisions=145498
1.03	     nbAssignments=269  nbFailedAssignments=81  nbBacktracks=136  nbVisitedNodes=426  nbRestartNogoods=13  mapSize=112
1.03	     nbInferences=0  nbTooLargeKeys=0
1.03	       =>  wckTime=0.147  cpuTime=0.11  mem=15M389
1.08	   
1.08	   search
1.08	     run=5  nbConstraintChecks=647998  nbPropagations=21165  nbRevisions=288072  nbUselessRevisions=236620
1.08	     nbAssignments=416  nbFailedAssignments=140  nbBacktracks=216  nbVisitedNodes=676  nbRestartNogoods=17  mapSize=179
1.08	     nbInferences=0  nbTooLargeKeys=0
1.08	       =>  wckTime=0.192  cpuTime=0.15  mem=15M389
1.14	   
1.14	   search
1.14	     run=6  nbConstraintChecks=982159  nbPropagations=32809  nbRevisions=458537  nbUselessRevisions=376588
1.14	     nbAssignments=617  nbFailedAssignments=217  nbBacktracks=331  nbVisitedNodes=1018  nbRestartNogoods=20  mapSize=276
1.14	     nbInferences=0  nbTooLargeKeys=0
1.14	       =>  wckTime=0.257  cpuTime=0.21  mem=15M389
1.21	   
1.21	   search
1.21	     run=7  nbConstraintChecks=1361890  nbPropagations=49326  nbRevisions=701773  nbUselessRevisions=576923
1.21	     nbAssignments=896  nbFailedAssignments=312  nbBacktracks=504  nbVisitedNodes=1470  nbRestartNogoods=24  mapSize=406
1.21	     nbInferences=0  nbTooLargeKeys=0
1.21	       =>  wckTime=0.326  cpuTime=0.27  mem=15M389
1.34	   
1.34	   search
1.34	     run=8  nbConstraintChecks=2153815  nbPropagations=74659  nbRevisions=1085663  nbUselessRevisions=892902
1.34	     nbAssignments=1353  nbFailedAssignments=502  nbBacktracks=761  nbVisitedNodes=2251  nbRestartNogoods=28
1.34	     mapSize=614  nbInferences=0  nbTooLargeKeys=0
1.34	       =>  wckTime=0.46  cpuTime=0.41  mem=15M389
1.50	   
1.50	   search
1.50	     run=9  nbConstraintChecks=2953552  nbPropagations=110062  nbRevisions=1622346  nbUselessRevisions=1334983
1.50	     nbAssignments=1924  nbFailedAssignments=679  nbBacktracks=1146  nbVisitedNodes=3181  nbRestartNogoods=33
1.50	     mapSize=895  nbInferences=0  nbTooLargeKeys=0
1.50	       =>  wckTime=0.615  cpuTime=0.55  mem=15M389
1.58	   
1.58	   INFO : Stopping hyperNogood (mapSize=1034, nbTooLargekeys=0, mem=15M389)
1.78	   
1.78	   search
1.78	     run=10  nbConstraintChecks=4656327  nbPropagations=165259  nbRevisions=2476954  nbUselessRevisions=2039196
1.78	     nbAssignments=2934  nbFailedAssignments=1102  nbBacktracks=1722  nbVisitedNodes=4938  nbRestartNogoods=38
1.78	       =>  wckTime=0.9  cpuTime=0.83  mem=15M389
2.08	   
2.08	   search
2.08	     run=11  nbConstraintChecks=6567102  nbPropagations=243224  nbRevisions=3684866  nbUselessRevisions=3035583
2.08	     nbAssignments=4222  nbFailedAssignments=1513  nbBacktracks=2588  nbVisitedNodes=7036  nbRestartNogoods=45
2.08	       =>  wckTime=1.2  cpuTime=1.13  mem=15M389
2.55	   
2.55	   search
2.55	     run=12  nbConstraintChecks=9685517  nbPropagations=358760  nbRevisions=5483896  nbUselessRevisions=4517941
2.55	     nbAssignments=6285  nbFailedAssignments=2269  nbBacktracks=3885  nbVisitedNodes=10486  nbRestartNogoods=54
2.55	       =>  wckTime=1.672  cpuTime=1.59  mem=15M389
3.36	   
3.36	   search
3.36	     run=13  nbConstraintChecks=15339558  nbPropagations=538247  nbRevisions=8297073  nbUselessRevisions=6831964
3.36	     nbAssignments=9534  nbFailedAssignments=3563  nbBacktracks=5833  nbVisitedNodes=16076  nbRestartNogoods=63
3.36	       =>  wckTime=2.474  cpuTime=2.39  mem=15M389
4.32	   
4.32	   search
4.32	     run=14  nbConstraintChecks=21872311  nbPropagations=798835  nbRevisions=12353257  nbUselessRevisions=10168558
4.32	     nbAssignments=14043  nbFailedAssignments=5141  nbBacktracks=8752  nbVisitedNodes=23521  nbRestartNogoods=67
4.32	       =>  wckTime=3.44  cpuTime=3.36  mem=15M389
5.96	   
5.96	   search
5.96	     run=15  nbConstraintChecks=33253860  nbPropagations=1191746  nbRevisions=18524549  nbUselessRevisions=15250570
5.96	     nbAssignments=21060  nbFailedAssignments=7767  nbBacktracks=13135  nbVisitedNodes=35401  nbRestartNogoods=74
5.97	       =>  wckTime=5.083  cpuTime=5.0  mem=15M389
8.27	   
8.27	   search
8.27	     run=16  nbConstraintChecks=48466280  nbPropagations=1775771  nbRevisions=27680583  nbUselessRevisions=22799660
8.27	     nbAssignments=31421  nbFailedAssignments=11548  nbBacktracks=19705  nbVisitedNodes=52918  nbRestartNogoods=82
8.27	       =>  wckTime=7.39  cpuTime=7.31  mem=15M389
11.83	   
11.83	   search
11.83	     run=17  nbConstraintChecks=72813882  nbPropagations=2651794  nbRevisions=41391296  nbUselessRevisions=34094872
11.83	     nbAssignments=47062  nbFailedAssignments=17321  nbBacktracks=29562  nbVisitedNodes=79289  nbRestartNogoods=93
11.83	       =>  wckTime=10.943  cpuTime=10.86  mem=15M389
17.76	   
17.76	   search
17.76	     run=18  nbConstraintChecks=113976655  nbPropagations=3993047  nbRevisions=62637008  nbUselessRevisions=51602793
17.76	     nbAssignments=71188  nbFailedAssignments=26658  nbBacktracks=44340  nbVisitedNodes=120573  nbRestartNogoods=106
17.76	       =>  wckTime=16.875  cpuTime=16.78  mem=15M389
25.22	   
25.22	   search
25.22	     run=19  nbConstraintChecks=164562661  nbPropagations=5964566  nbRevisions=93737808  nbUselessRevisions=77264245
25.22	     nbAssignments=105933  nbFailedAssignments=39225  nbBacktracks=66508  nbVisitedNodes=178981  nbRestartNogoods=121
25.22	       =>  wckTime=24.342  cpuTime=24.24  mem=15M389
37.66	   
37.66	   search
37.66	     run=20  nbConstraintChecks=249840790  nbPropagations=8950688  nbRevisions=140851804  nbUselessRevisions=116117441
37.66	     nbAssignments=159425  nbFailedAssignments=59456  nbBacktracks=99762  nbVisitedNodes=270204  nbRestartNogoods=137
37.66	       =>  wckTime=36.782  cpuTime=36.68  mem=15M389
57.95	   
57.95	   search
57.95	     run=21  nbConstraintChecks=391321079  nbPropagations=13537546  nbRevisions=214029008  nbUselessRevisions=176452448
57.95	     nbAssignments=242307  nbFailedAssignments=92451  nbBacktracks=149641  nbVisitedNodes=413034  nbRestartNogoods=148
57.95	       =>  wckTime=57.067  cpuTime=56.95  mem=15M389
84.60	   
84.60	   search
84.60	     run=22  nbConstraintChecks=573946361  nbPropagations=20333901  nbRevisions=321505338  nbUselessRevisions=265023523
84.60	     nbAssignments=360236  nbFailedAssignments=135550  nbBacktracks=224461  nbVisitedNodes=611524  nbRestartNogoods=156
84.60	       =>  wckTime=83.716  cpuTime=83.57  mem=15M389
124.51	   
124.51	   search
124.51	     run=23  nbConstraintChecks=849156094  nbPropagations=30410496  nbRevisions=480612954  nbUselessRevisions=396090386
124.51	     nbAssignments=536856  nbFailedAssignments=199929  nbBacktracks=336695  nbVisitedNodes=910173  nbRestartNogoods=175
124.51	       =>  wckTime=123.632  cpuTime=123.46  mem=15M389
190.06	   
190.06	   search
190.06	     run=24  nbConstraintChecks=1301526191  nbPropagations=45791139  nbRevisions=724186584  nbUselessRevisions=596745734
190.06	     nbAssignments=812907  nbFailedAssignments=307629  nbBacktracks=505036  nbVisitedNodes=1384533  nbRestartNogoods=184
190.06	       =>  wckTime=189.18  cpuTime=188.97  mem=15M389
255.75	   
255.75	   search
255.75	     run=25  nbConstraintChecks=1756254328  nbPropagations=66453063  nbRevisions=1052402566
255.75	     nbUselessRevisions=867100551  nbAssignments=1087419  nbFailedAssignments=417117  nbBacktracks=670010
255.75	     nbVisitedNodes=1858485  nbRestartNogoods=200
255.75	       =>  wckTime=254.866  cpuTime=254.62  mem=15M389
255.75	   
255.75	   global
255.75	     nbConstraintChecks=1756254328  nbPropagations=66453113  nbRevisions=1052402566  nbUselessRevisions=867100551
255.75	     nbRestartNogoods=200  solvingWckTime=254.867  solvingCpuTime=254.62  expiredTime=no  totalExploration=no
255.75	     nbFoundSolutions=1  globalCpuTime=255.11
255.75	       =>  wckTime=255.448  cpuTime=255.04  mem=15M389
255.75	   
255.75	s SATISFIABLE
255.75	v 21 14 1 7 20 3 19 22 9 6 18 15 8 16 3 0 21 0 17 12 8 19 2 22 0 8 14 12 3 18 15 6 0 11 15 13 19 5 7 19 12 11 14 19 6 13 22 22 7 16 
255.75	d NODES 1087419
255.75	d CHECKS 1756254328
255.75	   
255.75	   totalWckTime=255.525  totalCpuTime=255.12

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/node24/watcher-195194-1168069766 -o ROOT/results/node24/solver-195194-1168069766 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195194-1168069766/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.94 1.15 1.50 3/78 14798
/proc/meminfo: memFree=1837320/2055920 swapFree=4192812/4192956
[pid=14797] ppid=14795 vsize=1452 CPUtime=0
/proc/14797/stat : 14797 (java) R 14795 14797 14204 0 -1 0 97 0 0 0 0 0 0 0 20 0 1 0 155371906 1486848 69 18446744073709551615 134512640 134570532 4294956560 18446744073709551615 3213695 0 0 4096 0 0 0 0 17 1 0 0
/proc/14797/statm: 363 77 59 14 0 8 0

[startup+0.105161 s]
/proc/loadavg: 0.94 1.15 1.50 3/78 14798
/proc/meminfo: memFree=1837320/2055920 swapFree=4192812/4192956
[pid=14797] ppid=14795 vsize=914988 CPUtime=0.08
/proc/14797/stat : 14797 (java) R 14795 14797 14204 0 -1 0 3019 0 1 0 7 1 0 0 16 0 8 0 155371906 936947712 2765 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4153791740 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14797/statm: 228747 2765 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513243 s]
/proc/loadavg: 0.94 1.15 1.50 3/78 14798
/proc/meminfo: memFree=1837320/2055920 swapFree=4192812/4192956
[pid=14797] ppid=14795 vsize=915328 CPUtime=0.5
/proc/14797/stat : 14797 (java) S 14795 14797 14204 0 -1 0 7152 0 1 0 45 5 0 0 16 0 8 0 155371906 937295872 6891 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14797/statm: 228832 6891 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33429 s]
/proc/loadavg: 0.94 1.15 1.50 2/85 14805
/proc/meminfo: memFree=1809616/2055920 swapFree=4192812/4192956
[pid=14797] ppid=14795 vsize=915460 CPUtime=1.31
/proc/14797/stat : 14797 (java) R 14795 14797 14204 0 -1 0 9649 0 1 0 124 7 0 0 17 0 8 0 155371906 937431040 9387 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073827321 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14797/statm: 228865 9387 2513 14 0 215335 0
[pid=14797/tid=14799] ppid=14795 vsize=915460 CPUtime=0.03
/proc/14797/task/14799/stat : 14799 (java) S 14795 14797 14204 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 155371910 937431040 9387 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14797/tid=14800] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14800/stat : 14800 (java) S 14795 14797 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155371910 937431040 9387 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14801] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14801/stat : 14801 (java) S 14795 14797 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155371910 937431040 9387 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14802] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14802/stat : 14802 (java) S 14795 14797 14204 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155371914 937431040 9387 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14803] ppid=14795 vsize=915460 CPUtime=0.19
/proc/14797/task/14803/stat : 14803 (java) S 14795 14797 14204 0 -1 64 382 0 0 0 18 1 0 0 15 0 8 0 155371914 937431040 9387 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14804] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14804/stat : 14804 (java) S 14795 14797 14204 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155371914 937431040 9387 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14805] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14805/stat : 14805 (java) S 14795 14797 14204 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155371914 937431040 9387 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460

[startup+2.97146 s]
/proc/loadavg: 0.94 1.15 1.50 2/85 14805
/proc/meminfo: memFree=1809552/2055920 swapFree=4192812/4192956
[pid=14797] ppid=14795 vsize=915460 CPUtime=2.95
/proc/14797/stat : 14797 (java) R 14795 14797 14204 0 -1 0 9664 0 1 0 287 8 0 0 17 0 8 0 155371906 937431040 9401 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073827262 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14797/statm: 228865 9401 2513 14 0 215335 0
[pid=14797/tid=14799] ppid=14795 vsize=915460 CPUtime=0.03
/proc/14797/task/14799/stat : 14799 (java) S 14795 14797 14204 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 155371910 937431040 9401 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14797/tid=14800] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14800/stat : 14800 (java) S 14795 14797 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155371910 937431040 9401 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14801] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14801/stat : 14801 (java) S 14795 14797 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155371910 937431040 9401 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14802] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14802/stat : 14802 (java) S 14795 14797 14204 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155371914 937431040 9401 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14803] ppid=14795 vsize=915460 CPUtime=0.22
/proc/14797/task/14803/stat : 14803 (java) S 14795 14797 14204 0 -1 64 396 0 0 0 21 1 0 0 15 0 8 0 155371914 937431040 9401 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14804] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14804/stat : 14804 (java) S 14795 14797 14204 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155371914 937431040 9401 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14805] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14805/stat : 14805 (java) S 14795 14797 14204 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155371914 937431040 9401 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460

[startup+6.27281 s]
/proc/loadavg: 0.94 1.15 1.50 2/85 14805
/proc/meminfo: memFree=1809376/2055920 swapFree=4192812/4192956
[pid=14797] ppid=14795 vsize=915460 CPUtime=6.25
/proc/14797/stat : 14797 (java) R 14795 14797 14204 0 -1 0 9665 0 1 0 617 8 0 0 23 0 8 0 155371906 937431040 9401 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14797/statm: 228865 9401 2513 14 0 215335 0
[pid=14797/tid=14799] ppid=14795 vsize=915460 CPUtime=0.03
/proc/14797/task/14799/stat : 14799 (java) S 14795 14797 14204 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 155371910 937431040 9401 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14797/tid=14800] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14800/stat : 14800 (java) S 14795 14797 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155371910 937431040 9401 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14801] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14801/stat : 14801 (java) S 14795 14797 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155371910 937431040 9401 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14802] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14802/stat : 14802 (java) S 14795 14797 14204 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155371914 937431040 9401 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14803] ppid=14795 vsize=915460 CPUtime=0.22
/proc/14797/task/14803/stat : 14803 (java) S 14795 14797 14204 0 -1 64 396 0 0 0 21 1 0 0 16 0 8 0 155371914 937431040 9401 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14804] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14804/stat : 14804 (java) S 14795 14797 14204 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155371914 937431040 9401 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14805] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14805/stat : 14805 (java) S 14795 14797 14204 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155371914 937431040 9401 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915460

[startup+12.7365 s]
/proc/loadavg: 0.95 1.14 1.49 2/85 14805
/proc/meminfo: memFree=1809376/2055920 swapFree=4192812/4192956
[pid=14797] ppid=14795 vsize=915460 CPUtime=12.71
/proc/14797/stat : 14797 (java) R 14795 14797 14204 0 -1 0 9665 0 1 0 1263 8 0 0 25 0 8 0 155371906 937431040 9401 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073834807 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14797/statm: 228865 9401 2513 14 0 215335 0
[pid=14797/tid=14799] ppid=14795 vsize=915460 CPUtime=0.03
/proc/14797/task/14799/stat : 14799 (java) S 14795 14797 14204 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 155371910 937431040 9401 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14797/tid=14800] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14800/stat : 14800 (java) S 14795 14797 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155371910 937431040 9401 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14801] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14801/stat : 14801 (java) S 14795 14797 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155371910 937431040 9401 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14802] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14802/stat : 14802 (java) S 14795 14797 14204 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155371914 937431040 9401 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14803] ppid=14795 vsize=915460 CPUtime=0.22
/proc/14797/task/14803/stat : 14803 (java) S 14795 14797 14204 0 -1 64 396 0 0 0 21 1 0 0 16 0 8 0 155371914 937431040 9401 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14804] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14804/stat : 14804 (java) S 14795 14797 14204 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155371914 937431040 9401 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14805] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14805/stat : 14805 (java) S 14795 14797 14204 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155371914 937431040 9401 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915460

[startup+25.5919 s]
/proc/loadavg: 0.96 1.14 1.48 2/85 14805
/proc/meminfo: memFree=1809376/2055920 swapFree=4192812/4192956
[pid=14797] ppid=14795 vsize=915460 CPUtime=25.55
/proc/14797/stat : 14797 (java) R 14795 14797 14204 0 -1 0 9667 0 1 0 2547 8 0 0 25 0 8 0 155371906 937431040 9402 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073826651 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14797/statm: 228865 9402 2513 14 0 215335 0
[pid=14797/tid=14799] ppid=14795 vsize=915460 CPUtime=0.03
/proc/14797/task/14799/stat : 14799 (java) S 14795 14797 14204 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 155371910 937431040 9402 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14797/tid=14800] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14800/stat : 14800 (java) S 14795 14797 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155371910 937431040 9402 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14801] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14801/stat : 14801 (java) S 14795 14797 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155371910 937431040 9402 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14802] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14802/stat : 14802 (java) S 14795 14797 14204 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155371914 937431040 9402 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14803] ppid=14795 vsize=915460 CPUtime=0.22
/proc/14797/task/14803/stat : 14803 (java) S 14795 14797 14204 0 -1 64 397 0 0 0 21 1 0 0 16 0 8 0 155371914 937431040 9402 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14804] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14804/stat : 14804 (java) S 14795 14797 14204 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155371914 937431040 9402 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14805] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14805/stat : 14805 (java) S 14795 14797 14204 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155371914 937431040 9402 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915460

[startup+51.2867 s]
/proc/loadavg: 0.97 1.12 1.47 2/85 14805
/proc/meminfo: memFree=1809440/2055920 swapFree=4192812/4192956
[pid=14797] ppid=14795 vsize=915460 CPUtime=51.23
/proc/14797/stat : 14797 (java) R 14795 14797 14204 0 -1 0 9667 0 1 0 5115 8 0 0 25 0 8 0 155371906 937431040 9402 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073834836 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14797/statm: 228865 9402 2513 14 0 215335 0
[pid=14797/tid=14799] ppid=14795 vsize=915460 CPUtime=0.03
/proc/14797/task/14799/stat : 14799 (java) S 14795 14797 14204 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 155371910 937431040 9402 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14797/tid=14800] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14800/stat : 14800 (java) S 14795 14797 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155371910 937431040 9402 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14801] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14801/stat : 14801 (java) S 14795 14797 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155371910 937431040 9402 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14802] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14802/stat : 14802 (java) S 14795 14797 14204 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155371914 937431040 9402 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14803] ppid=14795 vsize=915460 CPUtime=0.22
/proc/14797/task/14803/stat : 14803 (java) S 14795 14797 14204 0 -1 64 397 0 0 0 21 1 0 0 16 0 8 0 155371914 937431040 9402 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14804] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14804/stat : 14804 (java) S 14795 14797 14204 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155371914 937431040 9402 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14805] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14805/stat : 14805 (java) S 14795 14797 14204 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155371914 937431040 9402 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 915460

[startup+102.569 s]
/proc/loadavg: 0.99 1.10 1.44 2/85 14805
/proc/meminfo: memFree=1809440/2055920 swapFree=4192812/4192956
[pid=14797] ppid=14795 vsize=915460 CPUtime=102.48
/proc/14797/stat : 14797 (java) R 14795 14797 14204 0 -1 0 9668 0 1 0 10240 8 0 0 25 0 8 0 155371906 937431040 9403 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073850627 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14797/statm: 228865 9403 2513 14 0 215335 0
[pid=14797/tid=14799] ppid=14795 vsize=915460 CPUtime=0.03
/proc/14797/task/14799/stat : 14799 (java) S 14795 14797 14204 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 155371910 937431040 9403 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14797/tid=14800] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14800/stat : 14800 (java) S 14795 14797 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155371910 937431040 9403 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14801] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14801/stat : 14801 (java) S 14795 14797 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155371910 937431040 9403 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14802] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14802/stat : 14802 (java) S 14795 14797 14204 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155371914 937431040 9403 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14803] ppid=14795 vsize=915460 CPUtime=0.22
/proc/14797/task/14803/stat : 14803 (java) S 14795 14797 14204 0 -1 64 398 0 0 0 21 1 0 0 16 0 8 0 155371914 937431040 9403 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14804] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14804/stat : 14804 (java) S 14795 14797 14204 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155371914 937431040 9403 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14805] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14805/stat : 14805 (java) S 14795 14797 14204 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155371914 937431040 9403 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.48
Current children cumulated vsize (KiB) 915460

[startup+162.586 s]
/proc/loadavg: 0.99 1.08 1.41 2/85 14805
/proc/meminfo: memFree=1809376/2055920 swapFree=4192812/4192956
[pid=14797] ppid=14795 vsize=915460 CPUtime=162.45
/proc/14797/stat : 14797 (java) R 14795 14797 14204 0 -1 0 9668 0 1 0 16237 8 0 0 25 0 8 0 155371906 937431040 9403 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073840749 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14797/statm: 228865 9403 2513 14 0 215335 0
[pid=14797/tid=14799] ppid=14795 vsize=915460 CPUtime=0.03
/proc/14797/task/14799/stat : 14799 (java) S 14795 14797 14204 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 155371910 937431040 9403 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14797/tid=14800] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14800/stat : 14800 (java) S 14795 14797 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155371910 937431040 9403 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14801] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14801/stat : 14801 (java) S 14795 14797 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155371910 937431040 9403 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14802] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14802/stat : 14802 (java) S 14795 14797 14204 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155371914 937431040 9403 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14803] ppid=14795 vsize=915460 CPUtime=0.22
/proc/14797/task/14803/stat : 14803 (java) S 14795 14797 14204 0 -1 64 398 0 0 0 21 1 0 0 16 0 8 0 155371914 937431040 9403 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14804] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14804/stat : 14804 (java) S 14795 14797 14204 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155371914 937431040 9403 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14805] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14805/stat : 14805 (java) S 14795 14797 14204 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155371914 937431040 9403 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.45
Current children cumulated vsize (KiB) 915460

[startup+222.606 s]
/proc/loadavg: 0.99 1.06 1.38 2/85 14805
/proc/meminfo: memFree=1809312/2055920 swapFree=4192812/4192956
[pid=14797] ppid=14795 vsize=915460 CPUtime=222.43
/proc/14797/stat : 14797 (java) R 14795 14797 14204 0 -1 0 9668 0 1 0 22235 8 0 0 25 0 8 0 155371906 937431040 9403 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073834838 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14797/statm: 228865 9403 2513 14 0 215335 0
[pid=14797/tid=14799] ppid=14795 vsize=915460 CPUtime=0.03
/proc/14797/task/14799/stat : 14799 (java) S 14795 14797 14204 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 155371910 937431040 9403 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14797/tid=14800] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14800/stat : 14800 (java) S 14795 14797 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155371910 937431040 9403 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14801] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14801/stat : 14801 (java) S 14795 14797 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155371910 937431040 9403 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14802] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14802/stat : 14802 (java) S 14795 14797 14204 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155371914 937431040 9403 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14803] ppid=14795 vsize=915460 CPUtime=0.22
/proc/14797/task/14803/stat : 14803 (java) S 14795 14797 14204 0 -1 64 398 0 0 0 21 1 0 0 16 0 8 0 155371914 937431040 9403 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14804] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14804/stat : 14804 (java) S 14795 14797 14204 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155371914 937431040 9403 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14797/tid=14805] ppid=14795 vsize=915460 CPUtime=0
/proc/14797/task/14805/stat : 14805 (java) S 14795 14797 14204 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155371914 937431040 9403 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.43
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 255.798
CPU time (s): 255.586
CPU user time (s): 255.49
CPU system time (s): 0.095985
CPU usage (%): 99.9173
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.49
system time used= 0.095985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9675
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= 6066
involuntary context switches= 11662

runsolver used 0.295955 s user time and 0.625904 s system time

The end

Launcher Data (download as text)

Begin job on node24 on Sat Jan  6 07:49:26 UTC 2007


IDJOB= 195194
IDBENCH= 3254
FILE ID= node24/195194-1168069766

PBS_JOBID= 3475641

Free space on /tmp= 66466 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  478aa51d88e05232d3d81d79221c2e68

RANDOM SEED= 985671799

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.234
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.234
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:       1837800 kB
Buffers:         16940 kB
Cached:          81592 kB
SwapCached:          0 kB
Active:         102748 kB
Inactive:        48320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1837800 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2080 kB
Writeback:           0 kB
Mapped:          71560 kB
Slab:            52368 kB
Committed_AS:  2842096 kB
PageTables:       1984 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= 66466 MiB



End job on node24 on Sat Jan  6 07:53:42 UTC 2007