runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-212427-1168716878 -o ROOT/results/node3/solver-212427-1168716878 -C 1800 -M 900 /tmp/evaluation/212427-1168716878/galacJ.sh /tmp/evaluation/212427-1168716878/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.99 2.02 2.00 5/94 24673
/proc/meminfo: memFree=983896/2055920 swapFree=4191880/4192956
[pid=24672] ppid=24670 vsize=18540 CPUtime=0
/proc/24672/stat : 24672 (runsolver) R 24670 24672 24380 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 220083477 18984960 279 18446744073709551615 4194304 4267372 548682069088 18446744073709551615 233630137842 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24672/statm: 4635 279 244 17 0 2626 0
[startup+0.108401 s]
/proc/loadavg: 1.99 2.02 2.00 5/94 24673
/proc/meminfo: memFree=983896/2055920 swapFree=4191880/4192956
[pid=24672] ppid=24670 vsize=47556 CPUtime=0.01
/proc/24672/stat : 24672 (galacJ.sh) S 24670 24672 24380 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 220083477 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233632361306 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24672/statm: 11889 362 245 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47556
[startup+0.516468 s]
/proc/loadavg: 1.99 2.02 2.00 5/94 24673
/proc/meminfo: memFree=983896/2055920 swapFree=4191880/4192956
[pid=24672] ppid=24670 vsize=47556 CPUtime=0.01
/proc/24672/stat : 24672 (galacJ.sh) S 24670 24672 24380 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 220083477 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233632361306 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24672/statm: 11889 362 245 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47556
[startup+1.3436 s]
/proc/loadavg: 1.99 2.02 2.00 3/102 24694
/proc/meminfo: memFree=942360/2055920 swapFree=4191880/4192956
[pid=24672] ppid=24670 vsize=47556 CPUtime=0.01
/proc/24672/stat : 24672 (galacJ.sh) S 24670 24672 24380 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 220083477 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233632361306 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24672/statm: 11889 362 245 79 0 217 0
[pid=24687] ppid=24672 vsize=862208 CPUtime=1.24
/proc/24687/stat : 24687 (java) R 24672 24672 24380 0 -1 0 12408 0 1 0 117 7 0 0 24 0 8 0 220083484 882900992 12161 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073701686 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24687/statm: 215552 12161 2036 14 0 201457 0
[pid=24687/tid=24688] ppid=24672 vsize=862208 CPUtime=0.09
/proc/24687/task/24688/stat : 24688 (java) S 24672 24672 24380 0 -1 64 3495 0 0 0 7 2 0 0 16 0 8 0 220083488 882900992 12161 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24689] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24689/stat : 24689 (java) S 24672 24672 24380 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220083489 882900992 12161 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24690] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24690/stat : 24690 (java) S 24672 24672 24380 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 220083489 882900992 12161 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24691] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24691/stat : 24691 (java) S 24672 24672 24380 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 220083492 882900992 12161 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24692] ppid=24672 vsize=862208 CPUtime=0.11
/proc/24687/task/24692/stat : 24692 (java) S 24672 24672 24380 0 -1 64 874 0 0 0 11 0 0 0 16 0 8 0 220083492 882900992 12161 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24693] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24693/stat : 24693 (java) S 24672 24672 24380 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 220083492 882900992 12161 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24694] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24694/stat : 24694 (java) S 24672 24672 24380 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 220083492 882900992 12161 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 909764
[startup+2.99087 s]
/proc/loadavg: 1.99 2.02 2.00 3/102 24694
/proc/meminfo: memFree=936728/2055920 swapFree=4191880/4192956
[pid=24672] ppid=24670 vsize=47556 CPUtime=0.01
/proc/24672/stat : 24672 (galacJ.sh) S 24670 24672 24380 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 220083477 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233632361306 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24672/statm: 11889 362 245 79 0 217 0
[pid=24687] ppid=24672 vsize=862208 CPUtime=2.87
/proc/24687/stat : 24687 (java) R 24672 24672 24380 0 -1 0 16285 0 1 0 277 10 0 0 25 0 8 0 220083484 882900992 16038 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073704508 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24687/statm: 215552 16038 2036 14 0 201457 0
[pid=24687/tid=24688] ppid=24672 vsize=862208 CPUtime=0.09
/proc/24687/task/24688/stat : 24688 (java) S 24672 24672 24380 0 -1 64 3495 0 0 0 7 2 0 0 16 0 8 0 220083488 882900992 16038 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24689] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24689/stat : 24689 (java) S 24672 24672 24380 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220083489 882900992 16038 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24690] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24690/stat : 24690 (java) S 24672 24672 24380 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 220083489 882900992 16038 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24691] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24691/stat : 24691 (java) S 24672 24672 24380 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 220083492 882900992 16038 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24692] ppid=24672 vsize=862208 CPUtime=0.11
/proc/24687/task/24692/stat : 24692 (java) S 24672 24672 24380 0 -1 64 874 0 0 0 11 0 0 0 16 0 8 0 220083492 882900992 16038 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24693] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24693/stat : 24693 (java) S 24672 24672 24380 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 220083492 882900992 16038 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24694] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24694/stat : 24694 (java) S 24672 24672 24380 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 220083492 882900992 16038 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 909764
[startup+6.2894 s]
/proc/loadavg: 1.99 2.01 2.00 3/102 24694
/proc/meminfo: memFree=870360/2055920 swapFree=4191880/4192956
[pid=24672] ppid=24670 vsize=47556 CPUtime=0.01
/proc/24672/stat : 24672 (galacJ.sh) S 24670 24672 24380 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 220083477 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233632361306 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24672/statm: 11889 362 245 79 0 217 0
[pid=24687] ppid=24672 vsize=862208 CPUtime=6.13
/proc/24687/stat : 24687 (java) R 24672 24672 24380 0 -1 0 30384 0 1 0 594 19 0 0 25 0 8 0 220083484 882900992 30135 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073703008 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24687/statm: 215552 30135 2039 14 0 201457 0
[pid=24687/tid=24688] ppid=24672 vsize=862208 CPUtime=0.5
/proc/24687/task/24688/stat : 24688 (java) S 24672 24672 24380 0 -1 64 14480 0 0 0 41 9 0 0 16 0 8 0 220083488 882900992 30135 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24689] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24689/stat : 24689 (java) S 24672 24672 24380 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220083489 882900992 30135 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24690] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24690/stat : 24690 (java) S 24672 24672 24380 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 220083489 882900992 30135 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24691] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24691/stat : 24691 (java) S 24672 24672 24380 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 220083492 882900992 30135 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24692] ppid=24672 vsize=862208 CPUtime=0.11
/proc/24687/task/24692/stat : 24692 (java) S 24672 24672 24380 0 -1 64 874 0 0 0 11 0 0 0 16 0 8 0 220083492 882900992 30135 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24693] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24693/stat : 24693 (java) S 24672 24672 24380 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 220083492 882900992 30135 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24694] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24694/stat : 24694 (java) S 24672 24672 24380 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 220083492 882900992 30135 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 909764
[startup+12.7855 s]
/proc/loadavg: 1.99 2.01 2.00 3/102 24694
/proc/meminfo: memFree=776280/2055920 swapFree=4191880/4192956
[pid=24672] ppid=24670 vsize=47556 CPUtime=0.01
/proc/24672/stat : 24672 (galacJ.sh) S 24670 24672 24380 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 220083477 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233632361306 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24672/statm: 11889 362 245 79 0 217 0
[pid=24687] ppid=24672 vsize=862208 CPUtime=12.56
/proc/24687/stat : 24687 (java) R 24672 24672 24380 0 -1 0 53852 0 1 0 1222 34 0 0 25 0 8 0 220083484 882900992 53601 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073703824 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24687/statm: 215552 53601 2039 14 0 201457 0
[pid=24687/tid=24688] ppid=24672 vsize=862208 CPUtime=1.43
/proc/24687/task/24688/stat : 24688 (java) S 24672 24672 24380 0 -1 64 37946 0 0 0 118 25 0 0 16 0 8 0 220083488 882900992 53601 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24689] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24689/stat : 24689 (java) S 24672 24672 24380 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220083489 882900992 53601 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24690] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24690/stat : 24690 (java) S 24672 24672 24380 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 220083489 882900992 53601 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24691] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24691/stat : 24691 (java) S 24672 24672 24380 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 220083492 882900992 53601 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24692] ppid=24672 vsize=862208 CPUtime=0.11
/proc/24687/task/24692/stat : 24692 (java) S 24672 24672 24380 0 -1 64 874 0 0 0 11 0 0 0 16 0 8 0 220083492 882900992 53601 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24693] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24693/stat : 24693 (java) S 24672 24672 24380 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 220083492 882900992 53601 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24694] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24694/stat : 24694 (java) S 24672 24672 24380 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 220083492 882900992 53601 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 909764
[startup+25.6581 s]
/proc/loadavg: 1.99 2.01 2.00 4/102 24694
/proc/meminfo: memFree=628312/2055920 swapFree=4191880/4192956
[pid=24672] ppid=24670 vsize=47556 CPUtime=0.01
/proc/24672/stat : 24672 (galacJ.sh) S 24670 24672 24380 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 220083477 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233632361306 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24672/statm: 11889 362 245 79 0 217 0
[pid=24687] ppid=24672 vsize=862208 CPUtime=25.29
/proc/24687/stat : 24687 (java) R 24672 24672 24380 0 -1 0 98037 0 1 0 2468 61 0 0 25 0 8 0 220083484 882900992 97782 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073518116 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24687/statm: 215552 97782 2039 14 0 201457 0
[pid=24687/tid=24688] ppid=24672 vsize=862208 CPUtime=3.22
/proc/24687/task/24688/stat : 24688 (java) S 24672 24672 24380 0 -1 64 82127 0 0 0 271 51 0 0 20 0 8 0 220083488 882900992 97782 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24689] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24689/stat : 24689 (java) S 24672 24672 24380 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220083489 882900992 97782 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24690] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24690/stat : 24690 (java) S 24672 24672 24380 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 220083489 882900992 97782 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24691] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24691/stat : 24691 (java) S 24672 24672 24380 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 220083492 882900992 97782 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24692] ppid=24672 vsize=862208 CPUtime=0.11
/proc/24687/task/24692/stat : 24692 (java) S 24672 24672 24380 0 -1 64 874 0 0 0 11 0 0 0 16 0 8 0 220083492 882900992 97782 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24693] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24693/stat : 24693 (java) S 24672 24672 24380 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 220083492 882900992 97782 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24694] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24694/stat : 24694 (java) S 24672 24672 24380 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 220083492 882900992 97782 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 909764
[startup+51.3167 s]
/proc/loadavg: 2.05 2.03 2.00 3/102 24694
/proc/meminfo: memFree=284056/2055920 swapFree=4191880/4192956
[pid=24672] ppid=24670 vsize=47556 CPUtime=0.01
/proc/24672/stat : 24672 (galacJ.sh) S 24670 24672 24380 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 220083477 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233632361306 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24672/statm: 11889 362 245 79 0 217 0
[pid=24687] ppid=24672 vsize=862208 CPUtime=50.68
/proc/24687/stat : 24687 (java) R 24672 24672 24380 0 -1 0 175361 0 1 0 4968 100 0 0 25 0 8 0 220083484 882900992 175099 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073703776 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24687/statm: 215552 175099 2039 14 0 201457 0
[pid=24687/tid=24688] ppid=24672 vsize=862208 CPUtime=6.25
/proc/24687/task/24688/stat : 24688 (java) S 24672 24672 24380 0 -1 64 159444 0 0 0 535 90 0 0 16 0 8 0 220083488 882900992 175099 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24689] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24689/stat : 24689 (java) S 24672 24672 24380 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220083489 882900992 175099 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24690] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24690/stat : 24690 (java) S 24672 24672 24380 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 220083489 882900992 175099 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24691] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24691/stat : 24691 (java) S 24672 24672 24380 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 220083492 882900992 175099 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24692] ppid=24672 vsize=862208 CPUtime=0.11
/proc/24687/task/24692/stat : 24692 (java) S 24672 24672 24380 0 -1 64 874 0 0 0 11 0 0 0 16 0 8 0 220083492 882900992 175099 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24693] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24693/stat : 24693 (java) S 24672 24672 24380 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 220083492 882900992 175099 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24694] ppid=24672 vsize=862208 CPUtime=0
/proc/24687/task/24694/stat : 24694 (java) S 24672 24672 24380 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 220083492 882900992 175099 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 909764
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+52.6609 s]
/proc/loadavg: 2.05 2.03 2.00 4/102 24694
/proc/meminfo: memFree=276440/2055920 swapFree=4191880/4192956
[pid=24672] ppid=24670 vsize=47556 CPUtime=0.01
/proc/24672/stat : 24672 (galacJ.sh) S 24670 24672 24380 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 220083477 48697344 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 233632361306 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24672/statm: 11889 362 245 79 0 217 0
[pid=24687] ppid=24672 vsize=874216 CPUtime=52.01
/proc/24687/stat : 24687 (java) R 24672 24672 24380 0 -1 0 178011 0 1 0 5099 102 0 0 25 0 8 0 220083484 895197184 176996 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24687/statm: 218554 176996 2039 14 0 204459 0
[pid=24687/tid=24688] ppid=24672 vsize=874216 CPUtime=6.38
/proc/24687/task/24688/stat : 24688 (java) R 24672 24672 24380 0 -1 64 162093 0 0 0 546 92 0 0 17 0 8 0 220083488 895197184 176996 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4153982952 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24689] ppid=24672 vsize=874216 CPUtime=0
/proc/24687/task/24689/stat : 24689 (java) S 24672 24672 24380 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220083489 895197184 176996 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24690] ppid=24672 vsize=874216 CPUtime=0
/proc/24687/task/24690/stat : 24690 (java) S 24672 24672 24380 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 220083489 895197184 176996 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24691] ppid=24672 vsize=874216 CPUtime=0
/proc/24687/task/24691/stat : 24691 (java) S 24672 24672 24380 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 220083492 895197184 176996 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24692] ppid=24672 vsize=874216 CPUtime=0.11
/proc/24687/task/24692/stat : 24692 (java) S 24672 24672 24380 0 -1 64 874 0 0 0 11 0 0 0 16 0 8 0 220083492 895197184 176996 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24693] ppid=24672 vsize=874216 CPUtime=0
/proc/24687/task/24693/stat : 24693 (java) S 24672 24672 24380 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 220083492 895197184 176996 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24687/tid=24694] ppid=24672 vsize=874216 CPUtime=0
/proc/24687/task/24694/stat : 24694 (java) S 24672 24672 24380 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 220083492 895197184 176996 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 52.02
Current children cumulated vsize (KiB) 921772
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Child ended because it received signal 15 (SIGTERM)
Real time (s): 52.6804
CPU time (s): 0.028994
CPU user time (s): 0.008998
CPU system time (s): 0.019996
CPU usage (%): 0.0550376
Max. virtual memory (cumulated for all children) (KiB): 921772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.008998
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2525
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51
involuntary context switches= 28
runsolver used 0.089986 s user time and 0.239963 s system time
The end
Begin job on node3 on Sat Jan 13 19:34:38 UTC 2007
IDJOB= 212427
IDBENCH= 4770
IDSOLVER= 67
FILE ID= node3/212427-1168716878
PBS_JOBID= 3547369
Free space on /tmp= 66558 MiB
SOLVER NAME= galacJ beta 1
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mpsReduced/mps-red-testprob.xml
COMMAND LINE= /tmp/evaluation/212427-1168716878/galacJ.sh /tmp/evaluation/212427-1168716878/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-212427-1168716878 -o ROOT/results/node3/solver-212427-1168716878 -C 1800 -M 900 /tmp/evaluation/212427-1168716878/galacJ.sh /tmp/evaluation/212427-1168716878/unknown.xml
META MD5SUM SOLVER= ffd78bd56f274e94bd0d0faf76d262cb
MD5SUM BENCH= c4c8596e9a8701a09c5a0d1b7330bbac
RANDOM SEED= 938367036
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.279
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.279
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 984376 kB
Buffers: 24972 kB
Cached: 252164 kB
SwapCached: 440 kB
Active: 834900 kB
Inactive: 194512 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 984376 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3476 kB
Writeback: 0 kB
Mapped: 772448 kB
Slab: 25688 kB
Committed_AS: 7178180 kB
PageTables: 3512 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 node3 on Sat Jan 13 19:35:38 UTC 2007