Trace number 210547

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.04 1800.66

General information on the benchmark

NamepseudoSeries/fpga/
fpga-25-24.xml
MD5SUM07c359a2fd7bf0c577888cebb1bb6544
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark90.6942
SatisfiableYES
(Un)Satisfiability was proved
Number of variables900
Number of constraints673
Maximum constraint arity25
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension673
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=esac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/210547-1168199023/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.45	     nbVariables=900  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.45	       =>  wckTime=0.162  cpuTime=0.11  mem=7M894
0.45	   
0.45	   predicates being loaded...
0.47	   
0.47	   constraints being loaded...
0.84	     nbConstraints=673  nbConflictsStructures=3  nbSharedConflictsStructures=621  nbUnbuiltConflictsStructures=2
0.84	     nbSharedBinaryRepresentations=0  nbEvaluationManagers=5  nbSharedEvaluationManagers=668  maxDegree=25  maxArity=25
0.84	       =>  wckTime=0.545  cpuTime=0.42  mem=40M75
0.90	   
0.90	   solver IterativeSystematicSolver being built... 
1.15	       =>  wckTime=0.863  cpuTime=0.63  mem=38M759
3.84	   
3.84	   preprocessing
3.84	     nbConstraintChecks=1051274  nbValidityChecks=29746  nbPropagations=3303  nbRevisions=19268
3.84	     nbUselessRevisions=18084  nbSingletonTests=1222  nbEffectiveSingletonTests=0  nbESACBranches=3  nbRemovedValues=0
3.84	     detectedInconsistency=no
3.84	       =>  wckTime=2.683  cpuTime=2.65  mem=38M759
17.75	   
17.75	   search
17.75	     run=0  nbConstraintChecks=6365892  nbValidityChecks=12658  nbPropagations=5027  nbRevisions=31872
17.75	     nbUselessRevisions=29808  nbAssignments=846  nbFailedAssignments=6  nbBacktracks=10  nbVisitedNodes=853
17.75	     nbRestartNogoods=0  mapSize=7  nbInferences=0  nbTooLargeKeys=0
17.75	       =>  wckTime=16.592  cpuTime=16.53  mem=40M756
20.22	   
20.22	   search
20.22	     run=1  nbConstraintChecks=7488733  nbValidityChecks=16078  nbPropagations=11304  nbRevisions=67775
20.22	     nbUselessRevisions=62813  nbAssignments=1262  nbFailedAssignments=7  nbBacktracks=81  nbVisitedNodes=1270
20.22	     nbRestartNogoods=1  mapSize=12  nbInferences=0  nbTooLargeKeys=0
20.22	       =>  wckTime=19.063  cpuTime=18.99  mem=41M730
22.68	   
22.68	   search
22.68	     run=2  nbConstraintChecks=8611574  nbValidityChecks=19498  nbPropagations=18834  nbRevisions=107710
22.68	     nbUselessRevisions=99014  nbAssignments=1678  nbFailedAssignments=8  nbBacktracks=154  nbVisitedNodes=1687
22.68	     nbRestartNogoods=2  mapSize=17  nbInferences=0  nbTooLargeKeys=0
22.68	       =>  wckTime=21.523  cpuTime=21.43  mem=42M704
27.31	   
27.31	   search
27.31	     run=3  nbConstraintChecks=10782996  nbValidityChecks=22820  nbPropagations=27623  nbRevisions=151582
27.31	     nbUselessRevisions=138314  nbAssignments=2098  nbFailedAssignments=12  nbBacktracks=230  nbVisitedNodes=2111
27.31	     nbRestartNogoods=3  mapSize=23  nbInferences=0  nbTooLargeKeys=0
27.31	       =>  wckTime=26.151  cpuTime=26.06  mem=42M704
31.94	   
31.94	   search
31.94	     run=4  nbConstraintChecks=12954432  nbValidityChecks=26143  nbPropagations=37688  nbRevisions=199395
31.94	     nbUselessRevisions=180713  nbAssignments=2530  nbFailedAssignments=19  nbBacktracks=317  nbVisitedNodes=2550
31.94	     nbRestartNogoods=4  mapSize=34  nbInferences=0  nbTooLargeKeys=0
31.94	       =>  wckTime=30.781  cpuTime=30.69  mem=43M678
49.98	   
49.98	   search
49.98	     run=5  nbConstraintChecks=21417302  nbValidityChecks=29511  nbPropagations=49082  nbRevisions=251357
49.98	     nbUselessRevisions=226384  nbAssignments=2981  nbFailedAssignments=28  nbBacktracks=409  nbVisitedNodes=3010
49.98	     nbRestartNogoods=5  mapSize=43  nbInferences=0  nbTooLargeKeys=0
49.98	       =>  wckTime=48.827  cpuTime=48.73  mem=44M652
83.53	   
83.53	   search
83.53	     run=6  nbConstraintChecks=37220312  nbValidityChecks=33356  nbPropagations=61891  nbRevisions=307709
83.53	     nbUselessRevisions=275528  nbAssignments=3474  nbFailedAssignments=42  nbBacktracks=547  nbVisitedNodes=3517
83.53	     nbRestartNogoods=8  mapSize=57  nbInferences=0  nbTooLargeKeys=0
83.53	       =>  wckTime=82.379  cpuTime=82.27  mem=44M652
88.18	   
88.18	   search
88.18	     run=7  nbConstraintChecks=39391765  nbValidityChecks=38122  nbPropagations=76040  nbRevisions=369203
88.18	     nbUselessRevisions=328997  nbAssignments=3997  nbFailedAssignments=44  nbBacktracks=722  nbVisitedNodes=4042
88.18	     nbRestartNogoods=10  mapSize=68  nbInferences=0  nbTooLargeKeys=0
88.18	       =>  wckTime=87.029  cpuTime=86.92  mem=45M626
106.13	   
106.13	   search
106.13	     run=8  nbConstraintChecks=47854741  nbValidityChecks=44093  nbPropagations=91710  nbRevisions=436997
106.13	     nbUselessRevisions=387921  nbAssignments=4672  nbFailedAssignments=57  nbBacktracks=1042  nbVisitedNodes=4730
106.13	     nbRestartNogoods=11  mapSize=93  nbInferences=0  nbTooLargeKeys=0
106.13	       =>  wckTime=104.97  cpuTime=104.86  mem=47M575
192.58	   
192.58	   search
192.58	     run=9  nbConstraintChecks=88823357  nbValidityChecks=51331  nbPropagations=109619  nbRevisions=511445
192.58	     nbUselessRevisions=452074  nbAssignments=5484  nbFailedAssignments=135  nbBacktracks=1427  nbVisitedNodes=5620
192.58	     nbRestartNogoods=12  mapSize=184  nbInferences=0  nbTooLargeKeys=0
192.58	       =>  wckTime=191.427  cpuTime=191.29  mem=48M549
349.10	   
349.11	   search
349.11	     run=10  nbConstraintChecks=162560511  nbValidityChecks=67517  nbPropagations=129591  nbRevisions=601047
349.11	     nbUselessRevisions=530378  nbAssignments=6546  nbFailedAssignments=205  nbBacktracks=2006  nbVisitedNodes=6752
349.11	     nbRestartNogoods=16  mapSize=255  nbInferences=0  nbTooLargeKeys=0
349.11	       =>  wckTime=347.948  cpuTime=347.76  mem=50M497
816.42	   
816.43	   search
816.43	     run=11  nbConstraintChecks=380738897  nbValidityChecks=87573  nbPropagations=152284  nbRevisions=708334
816.43	     nbUselessRevisions=624938  nbAssignments=7878  nbFailedAssignments=411  nbBacktracks=2883  nbVisitedNodes=8290
816.43	     nbRestartNogoods=17  mapSize=462  nbInferences=0  nbTooLargeKeys=0
816.43	       =>  wckTime=815.269  cpuTime=814.95  mem=52M445
1413.29	   
1413.29	   search
1413.29	     run=12  nbConstraintChecks=660872774  nbValidityChecks=127211  nbPropagations=179652  nbRevisions=850458
1413.29	     nbUselessRevisions=751790  nbAssignments=10056  nbFailedAssignments=683  nbBacktracks=4299  nbVisitedNodes=10740
1413.29	     nbRestartNogoods=18  mapSize=728  nbInferences=0  nbTooLargeKeys=0
1413.29	       =>  wckTime=1412.131  cpuTime=1411.53  mem=13M891

Verifier Data (download as text)

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

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node75/watcher-210547-1168199023 -o ROOT/results/node75/solver-210547-1168199023 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210547-1168199023/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.00 1.20 1.52 1/65 31809
/proc/meminfo: memFree=1716384/2055920 swapFree=4184496/4192956
[pid=31808] ppid=31806 vsize=1784 CPUtime=0
/proc/31808/stat : 31808 (java) D 31806 31808 31119 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 168301660 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099855350 0 0 17 1 0 0
/proc/31808/statm: 446 136 102 14 0 91 0

[startup+0.102576 s]
/proc/loadavg: 1.00 1.20 1.52 1/65 31809
/proc/meminfo: memFree=1716384/2055920 swapFree=4184496/4192956
[pid=31808] ppid=31806 vsize=914988 CPUtime=0.08
/proc/31808/stat : 31808 (java) R 31806 31808 31119 0 -1 0 3008 0 1 0 7 1 0 0 22 0 8 0 168301660 936947712 2754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7201750 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31808/statm: 228747 2754 1432 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.51462 s]
/proc/loadavg: 1.00 1.20 1.52 1/65 31809
/proc/meminfo: memFree=1716384/2055920 swapFree=4184496/4192956
[pid=31808] ppid=31806 vsize=915328 CPUtime=0.49
/proc/31808/stat : 31808 (java) R 31806 31808 31119 0 -1 0 7285 0 1 0 45 4 0 0 16 0 8 0 168301660 937295872 7024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073542797 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31808/statm: 228832 7027 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33571 s]
/proc/loadavg: 1.00 1.20 1.52 2/72 31816
/proc/meminfo: memFree=1664296/2055920 swapFree=4184496/4192956
[pid=31808] ppid=31806 vsize=915576 CPUtime=1.31
/proc/31808/stat : 31808 (java) R 31806 31808 31119 0 -1 0 15761 0 1 0 120 11 0 0 17 0 8 0 168301660 937549824 15499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752137 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31808/statm: 228894 15499 2539 14 0 215364 0
[pid=31808/tid=31810] ppid=31806 vsize=915576 CPUtime=0.05
/proc/31808/task/31810/stat : 31810 (java) S 31806 31808 31119 0 -1 64 1059 0 0 0 5 0 0 0 17 0 8 0 168301664 937549824 15499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31811] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31811/stat : 31811 (java) S 31806 31808 31119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 15499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31812] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31812/stat : 31812 (java) S 31806 31808 31119 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 15499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31813] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31813/stat : 31813 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168301667 937549824 15499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31814] ppid=31806 vsize=915576 CPUtime=0.2
/proc/31808/task/31814/stat : 31814 (java) S 31806 31808 31119 0 -1 64 404 0 0 0 20 0 0 0 16 0 8 0 168301667 937549824 15499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31815] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31815/stat : 31815 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168301667 937549824 15499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31816] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31816/stat : 31816 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168301667 937549824 15499 18446744073709551615 134512640 134570532 4294956480 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) 915576

[startup+2.97191 s]
/proc/loadavg: 1.00 1.20 1.52 2/72 31816
/proc/meminfo: memFree=1664168/2055920 swapFree=4184496/4192956
[pid=31808] ppid=31806 vsize=915576 CPUtime=2.94
/proc/31808/stat : 31808 (java) R 31806 31808 31119 0 -1 0 15763 0 1 0 283 11 0 0 18 0 8 0 168301660 937549824 15500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751781 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31808/statm: 228894 15500 2539 14 0 215364 0
[pid=31808/tid=31810] ppid=31806 vsize=915576 CPUtime=0.05
/proc/31808/task/31810/stat : 31810 (java) S 31806 31808 31119 0 -1 64 1059 0 0 0 5 0 0 0 16 0 8 0 168301664 937549824 15500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31811] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31811/stat : 31811 (java) S 31806 31808 31119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 15500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31812] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31812/stat : 31812 (java) S 31806 31808 31119 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 15500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31813] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31813/stat : 31813 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168301667 937549824 15500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31814] ppid=31806 vsize=915576 CPUtime=0.2
/proc/31808/task/31814/stat : 31814 (java) S 31806 31808 31119 0 -1 64 406 0 0 0 20 0 0 0 16 0 8 0 168301667 937549824 15500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31815] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31815/stat : 31815 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168301667 937549824 15500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31816] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31816/stat : 31816 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168301667 937549824 15500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915576

[startup+6.24929 s]
/proc/loadavg: 1.00 1.20 1.51 2/72 31816
/proc/meminfo: memFree=1664040/2055920 swapFree=4184496/4192956
[pid=31808] ppid=31806 vsize=915576 CPUtime=6.21
/proc/31808/stat : 31808 (java) R 31806 31808 31119 0 -1 0 15788 0 1 0 610 11 0 0 19 0 8 0 168301660 937549824 15523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073747843 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31808/statm: 228894 15523 2542 14 0 215364 0
[pid=31808/tid=31810] ppid=31806 vsize=915576 CPUtime=0.05
/proc/31808/task/31810/stat : 31810 (java) S 31806 31808 31119 0 -1 64 1059 0 0 0 5 0 0 0 16 0 8 0 168301664 937549824 15523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31811] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31811/stat : 31811 (java) S 31806 31808 31119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 15523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31812] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31812/stat : 31812 (java) S 31806 31808 31119 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 15523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31813] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31813/stat : 31813 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168301667 937549824 15523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31814] ppid=31806 vsize=915576 CPUtime=0.24
/proc/31808/task/31814/stat : 31814 (java) S 31806 31808 31119 0 -1 64 423 0 0 0 23 1 0 0 16 0 8 0 168301667 937549824 15523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31815] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31815/stat : 31815 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168301667 937549824 15523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31816] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31816/stat : 31816 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168301667 937549824 15523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915576

[startup+12.7281 s]
/proc/loadavg: 1.00 1.19 1.51 2/72 31816
/proc/meminfo: memFree=1664056/2055920 swapFree=4184496/4192956
[pid=31808] ppid=31806 vsize=915576 CPUtime=12.68
/proc/31808/stat : 31808 (java) R 31806 31808 31119 0 -1 0 15791 0 1 0 1257 11 0 0 25 0 8 0 168301660 937549824 15525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752180 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31808/statm: 228894 15525 2543 14 0 215364 0
[pid=31808/tid=31810] ppid=31806 vsize=915576 CPUtime=0.05
/proc/31808/task/31810/stat : 31810 (java) S 31806 31808 31119 0 -1 64 1059 0 0 0 5 0 0 0 16 0 8 0 168301664 937549824 15525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31811] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31811/stat : 31811 (java) S 31806 31808 31119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 15525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31812] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31812/stat : 31812 (java) S 31806 31808 31119 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 15525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31813] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31813/stat : 31813 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168301667 937549824 15525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31814] ppid=31806 vsize=915576 CPUtime=0.25
/proc/31808/task/31814/stat : 31814 (java) S 31806 31808 31119 0 -1 64 423 0 0 0 24 1 0 0 16 0 8 0 168301667 937549824 15525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31815] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31815/stat : 31815 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168301667 937549824 15525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31816] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31816/stat : 31816 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168301667 937549824 15525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915576

[startup+25.5746 s]
/proc/loadavg: 1.00 1.19 1.51 2/72 31816
/proc/meminfo: memFree=1663992/2055920 swapFree=4184496/4192956
[pid=31808] ppid=31806 vsize=915576 CPUtime=25.52
/proc/31808/stat : 31808 (java) R 31806 31808 31119 0 -1 0 15805 0 1 0 2541 11 0 0 25 0 8 0 168301660 937549824 15536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073748053 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31808/statm: 228894 15536 2543 14 0 215364 0
[pid=31808/tid=31810] ppid=31806 vsize=915576 CPUtime=0.05
/proc/31808/task/31810/stat : 31810 (java) S 31806 31808 31119 0 -1 64 1059 0 0 0 5 0 0 0 16 0 8 0 168301664 937549824 15536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31811] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31811/stat : 31811 (java) S 31806 31808 31119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 15536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31812] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31812/stat : 31812 (java) S 31806 31808 31119 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 15536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31813] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31813/stat : 31813 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168301667 937549824 15536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31814] ppid=31806 vsize=915576 CPUtime=0.26
/proc/31808/task/31814/stat : 31814 (java) S 31806 31808 31119 0 -1 64 434 0 0 0 25 1 0 0 16 0 8 0 168301667 937549824 15536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31815] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31815/stat : 31815 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168301667 937549824 15536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31816] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31816/stat : 31816 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168301667 937549824 15536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915576

[startup+51.2566 s]
/proc/loadavg: 1.00 1.17 1.49 2/72 31816
/proc/meminfo: memFree=1663160/2055920 swapFree=4184496/4192956
[pid=31808] ppid=31806 vsize=915576 CPUtime=51.2
/proc/31808/stat : 31808 (java) R 31806 31808 31119 0 -1 0 16007 0 1 0 5108 12 0 0 25 0 8 0 168301660 937549824 15737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31808/statm: 228894 15737 2543 14 0 215364 0
[pid=31808/tid=31810] ppid=31806 vsize=915576 CPUtime=0.05
/proc/31808/task/31810/stat : 31810 (java) S 31806 31808 31119 0 -1 64 1059 0 0 0 5 0 0 0 16 0 8 0 168301664 937549824 15737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31811] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31811/stat : 31811 (java) S 31806 31808 31119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 15737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31812] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31812/stat : 31812 (java) S 31806 31808 31119 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 15737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31813] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31813/stat : 31813 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168301667 937549824 15737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31814] ppid=31806 vsize=915576 CPUtime=0.27
/proc/31808/task/31814/stat : 31814 (java) S 31806 31808 31119 0 -1 64 435 0 0 0 26 1 0 0 16 0 8 0 168301667 937549824 15737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31815] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31815/stat : 31815 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168301667 937549824 15737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31816] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31816/stat : 31816 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168301667 937549824 15737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915576

[startup+102.51 s]
/proc/loadavg: 1.00 1.14 1.46 2/72 31816
/proc/meminfo: memFree=1660920/2055920 swapFree=4184496/4192956
[pid=31808] ppid=31806 vsize=915576 CPUtime=102.44
/proc/31808/stat : 31808 (java) R 31806 31808 31119 0 -1 0 16626 0 1 0 10232 12 0 0 25 0 8 0 168301660 937549824 16356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31808/statm: 228894 16356 2543 14 0 215364 0
[pid=31808/tid=31810] ppid=31806 vsize=915576 CPUtime=0.05
/proc/31808/task/31810/stat : 31810 (java) S 31806 31808 31119 0 -1 64 1059 0 0 0 5 0 0 0 16 0 8 0 168301664 937549824 16356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31811] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31811/stat : 31811 (java) S 31806 31808 31119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 16356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31812] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31812/stat : 31812 (java) S 31806 31808 31119 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 16356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31813] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31813/stat : 31813 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168301667 937549824 16356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31814] ppid=31806 vsize=915576 CPUtime=0.27
/proc/31808/task/31814/stat : 31814 (java) S 31806 31808 31119 0 -1 64 435 0 0 0 26 1 0 0 16 0 8 0 168301667 937549824 16356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31815] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31815/stat : 31815 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168301667 937549824 16356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31816] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31816/stat : 31816 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168301667 937549824 16356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.44
Current children cumulated vsize (KiB) 915576

[startup+162.6 s]
/proc/loadavg: 1.00 1.11 1.43 2/72 31816
/proc/meminfo: memFree=1659512/2055920 swapFree=4184496/4192956
[pid=31808] ppid=31806 vsize=915576 CPUtime=162.51
/proc/31808/stat : 31808 (java) R 31806 31808 31119 0 -1 0 16928 0 1 0 16239 12 0 0 25 0 8 0 168301660 937549824 16657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750092 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1423.77
Current children cumulated vsize (KiB) 915576

[startup+1484.38 s]
/proc/loadavg: 1.01 1.01 1.08 2/72 32014
/proc/meminfo: memFree=1648632/2055920 swapFree=4184496/4192956
[pid=31808] ppid=31806 vsize=915576 CPUtime=1483.84
/proc/31808/stat : 31808 (java) R 31806 31808 31119 0 -1 0 19560 0 1 0 148369 15 0 0 25 0 8 0 168301660 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749135 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31808/statm: 228894 19284 2547 14 0 215364 0
[pid=31808/tid=31810] ppid=31806 vsize=915576 CPUtime=0.06
/proc/31808/task/31810/stat : 31810 (java) S 31806 31808 31119 0 -1 64 2452 0 0 0 6 0 0 0 16 0 8 0 168301664 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31811] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31811/stat : 31811 (java) S 31806 31808 31119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31812] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31812/stat : 31812 (java) S 31806 31808 31119 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31813] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31813/stat : 31813 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31814] ppid=31806 vsize=915576 CPUtime=0.28
/proc/31808/task/31814/stat : 31814 (java) S 31806 31808 31119 0 -1 64 444 0 0 0 27 1 0 0 16 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31815] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31815/stat : 31815 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31816] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31816/stat : 31816 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1483.84
Current children cumulated vsize (KiB) 915576

[startup+1544.46 s]
/proc/loadavg: 1.00 1.00 1.08 2/72 32014
/proc/meminfo: memFree=1648696/2055920 swapFree=4184496/4192956
[pid=31808] ppid=31806 vsize=915576 CPUtime=1543.91
/proc/31808/stat : 31808 (java) R 31806 31808 31119 0 -1 0 19560 0 1 0 154376 15 0 0 25 0 8 0 168301660 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31808/statm: 228894 19284 2547 14 0 215364 0
[pid=31808/tid=31810] ppid=31806 vsize=915576 CPUtime=0.06
/proc/31808/task/31810/stat : 31810 (java) S 31806 31808 31119 0 -1 64 2452 0 0 0 6 0 0 0 16 0 8 0 168301664 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31811] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31811/stat : 31811 (java) S 31806 31808 31119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31812] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31812/stat : 31812 (java) S 31806 31808 31119 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31813] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31813/stat : 31813 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31814] ppid=31806 vsize=915576 CPUtime=0.28
/proc/31808/task/31814/stat : 31814 (java) S 31806 31808 31119 0 -1 64 444 0 0 0 27 1 0 0 16 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31815] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31815/stat : 31815 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31816] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31816/stat : 31816 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1543.91
Current children cumulated vsize (KiB) 915576

[startup+1604.55 s]
/proc/loadavg: 1.00 1.00 1.07 2/72 32014
/proc/meminfo: memFree=1648696/2055920 swapFree=4184496/4192956
[pid=31808] ppid=31806 vsize=915576 CPUtime=1603.98
/proc/31808/stat : 31808 (java) R 31806 31808 31119 0 -1 0 19560 0 1 0 160383 15 0 0 25 0 8 0 168301660 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31808/statm: 228894 19284 2547 14 0 215364 0
[pid=31808/tid=31810] ppid=31806 vsize=915576 CPUtime=0.06
/proc/31808/task/31810/stat : 31810 (java) S 31806 31808 31119 0 -1 64 2452 0 0 0 6 0 0 0 16 0 8 0 168301664 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31811] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31811/stat : 31811 (java) S 31806 31808 31119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31812] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31812/stat : 31812 (java) S 31806 31808 31119 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31813] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31813/stat : 31813 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31814] ppid=31806 vsize=915576 CPUtime=0.28
/proc/31808/task/31814/stat : 31814 (java) S 31806 31808 31119 0 -1 64 444 0 0 0 27 1 0 0 16 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31815] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31815/stat : 31815 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31816] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31816/stat : 31816 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1603.98
Current children cumulated vsize (KiB) 915576

[startup+1664.64 s]
/proc/loadavg: 1.00 1.00 1.06 2/72 32014
/proc/meminfo: memFree=1648632/2055920 swapFree=4184496/4192956
[pid=31808] ppid=31806 vsize=915576 CPUtime=1664.05
/proc/31808/stat : 31808 (java) R 31806 31808 31119 0 -1 0 19560 0 1 0 166390 15 0 0 25 0 8 0 168301660 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31808/statm: 228894 19284 2547 14 0 215364 0
[pid=31808/tid=31810] ppid=31806 vsize=915576 CPUtime=0.06
/proc/31808/task/31810/stat : 31810 (java) S 31806 31808 31119 0 -1 64 2452 0 0 0 6 0 0 0 16 0 8 0 168301664 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31811] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31811/stat : 31811 (java) S 31806 31808 31119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31812] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31812/stat : 31812 (java) S 31806 31808 31119 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31813] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31813/stat : 31813 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31814] ppid=31806 vsize=915576 CPUtime=0.28
/proc/31808/task/31814/stat : 31814 (java) S 31806 31808 31119 0 -1 64 444 0 0 0 27 1 0 0 16 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31815] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31815/stat : 31815 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31816] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31816/stat : 31816 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1664.05
Current children cumulated vsize (KiB) 915576

[startup+1724.72 s]
/proc/loadavg: 1.00 1.00 1.06 2/72 32014
/proc/meminfo: memFree=1648696/2055920 swapFree=4184496/4192956
[pid=31808] ppid=31806 vsize=915576 CPUtime=1724.12
/proc/31808/stat : 31808 (java) R 31806 31808 31119 0 -1 0 19560 0 1 0 172397 15 0 0 25 0 8 0 168301660 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31808/statm: 228894 19284 2547 14 0 215364 0
[pid=31808/tid=31810] ppid=31806 vsize=915576 CPUtime=0.06
/proc/31808/task/31810/stat : 31810 (java) S 31806 31808 31119 0 -1 64 2452 0 0 0 6 0 0 0 16 0 8 0 168301664 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31811] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31811/stat : 31811 (java) S 31806 31808 31119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31812] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31812/stat : 31812 (java) S 31806 31808 31119 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31813] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31813/stat : 31813 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31814] ppid=31806 vsize=915576 CPUtime=0.28
/proc/31808/task/31814/stat : 31814 (java) S 31806 31808 31119 0 -1 64 444 0 0 0 27 1 0 0 16 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31815] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31815/stat : 31815 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31816] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31816/stat : 31816 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1724.12
Current children cumulated vsize (KiB) 915576

[startup+1784.81 s]
/proc/loadavg: 1.00 1.00 1.05 2/72 32014
/proc/meminfo: memFree=1648696/2055920 swapFree=4184496/4192956
[pid=31808] ppid=31806 vsize=915576 CPUtime=1784.19
/proc/31808/stat : 31808 (java) R 31806 31808 31119 0 -1 0 19560 0 1 0 178404 15 0 0 25 0 8 0 168301660 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754848 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31808/statm: 228894 19284 2547 14 0 215364 0
[pid=31808/tid=31810] ppid=31806 vsize=915576 CPUtime=0.06
/proc/31808/task/31810/stat : 31810 (java) S 31806 31808 31119 0 -1 64 2452 0 0 0 6 0 0 0 16 0 8 0 168301664 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31811] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31811/stat : 31811 (java) S 31806 31808 31119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31812] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31812/stat : 31812 (java) S 31806 31808 31119 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31813] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31813/stat : 31813 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31814] ppid=31806 vsize=915576 CPUtime=0.28
/proc/31808/task/31814/stat : 31814 (java) S 31806 31808 31119 0 -1 64 444 0 0 0 27 1 0 0 16 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31815] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31815/stat : 31815 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31816] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31816/stat : 31816 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1784.19
Current children cumulated vsize (KiB) 915576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.63 s]
/proc/loadavg: 1.00 1.00 1.05 2/72 32014
/proc/meminfo: memFree=1648696/2055920 swapFree=4184496/4192956
[pid=31808] ppid=31806 vsize=915576 CPUtime=1800.01
/proc/31808/stat : 31808 (java) R 31806 31808 31119 0 -1 0 19560 0 1 0 179986 15 0 0 25 0 8 0 168301660 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757581 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31808/statm: 228894 19284 2547 14 0 215364 0
[pid=31808/tid=31810] ppid=31806 vsize=915576 CPUtime=0.06
/proc/31808/task/31810/stat : 31810 (java) S 31806 31808 31119 0 -1 64 2452 0 0 0 6 0 0 0 16 0 8 0 168301664 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31811] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31811/stat : 31811 (java) S 31806 31808 31119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31812] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31812/stat : 31812 (java) S 31806 31808 31119 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168301664 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31813] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31813/stat : 31813 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31814] ppid=31806 vsize=915576 CPUtime=0.28
/proc/31808/task/31814/stat : 31814 (java) S 31806 31808 31119 0 -1 64 444 0 0 0 27 1 0 0 16 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31808/tid=31815] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31815/stat : 31815 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31808/tid=31816] ppid=31806 vsize=915576 CPUtime=0
/proc/31808/task/31816/stat : 31816 (java) S 31806 31808 31119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168301667 937549824 19284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915576

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

Child status: 143
Real time (s): 1800.66
CPU time (s): 1800.04
CPU user time (s): 1799.88
CPU system time (s): 0.167974
CPU usage (%): 99.9659
Max. virtual memory (cumulated for all children) (KiB): 915576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.167974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19576
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= 37578
involuntary context switches= 37028

runsolver used 1.92971 s user time and 4.45632 s system time

The end

Launcher Data (download as text)

Begin job on node75 on Sun Jan  7 19:43:43 UTC 2007


IDJOB= 210547
IDBENCH= 4628
FILE ID= node75/210547-1168199023

PBS_JOBID= 3480726

Free space on /tmp= 66558 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-25-24.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210547-1168199023/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node75/watcher-210547-1168199023 -o ROOT/results/node75/solver-210547-1168199023 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210547-1168199023/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  07c359a2fd7bf0c577888cebb1bb6544

RANDOM SEED= 353458992

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1716800 kB
Buffers:         60284 kB
Cached:         213320 kB
SwapCached:       2680 kB
Active:          98208 kB
Inactive:       184952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1716800 kB
SwapTotal:     4192956 kB
SwapFree:      4184496 kB
Dirty:            1912 kB
Writeback:           0 kB
Mapped:          15628 kB
Slab:            41908 kB
Committed_AS:  3670356 kB
PageTables:       1432 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= 66558 MiB



End job on node75 on Sun Jan  7 20:13:43 UTC 2007