runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244325-1500682390/watcher-4244325-1500682390 -o /tmp/evaluation-result-4244325-1500682390/solver-4244325-1500682390 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 746306376 HOME/instance-4244325-1500682390.xml
pid=17150
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 5.98 8.33 5.20 3/242 17153
/proc/meminfo: memFree=31978324/32770624 swapFree=5900/220540
[pid=17153] ppid=17150 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17153/stat : 17153 (xcsp3-exec) S 17150 17153 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3505976 9740288 346 33554432000 4194304 5098028 140725142203552 140725142201656 140637429858940 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34893824 140725142209679 140725142209888 140725142209888 140725142212587 0
/proc/17153/statm: 2378 346 289 221 0 87 0
[startup+0.100098 s]
/proc/loadavg: 5.98 8.33 5.20 3/242 17153
/proc/meminfo: memFree=31978324/32770624 swapFree=5900/220540
[pid=17153] ppid=17150 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17153/stat : 17153 (xcsp3-exec) S 17150 17153 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3505976 9740288 346 33554432000 4194304 5098028 140725142203552 140725142201656 140637429858940 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34893824 140725142209679 140725142209888 140725142209888 140725142212587 0
/proc/17153/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200317 s]
/proc/loadavg: 5.98 8.33 5.20 3/242 17153
/proc/meminfo: memFree=31978324/32770624 swapFree=5900/220540
[pid=17153] ppid=17150 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17153/stat : 17153 (xcsp3-exec) S 17150 17153 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3505976 9740288 346 33554432000 4194304 5098028 140725142203552 140725142201656 140637429858940 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34893824 140725142209679 140725142209888 140725142209888 140725142212587 0
/proc/17153/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300354 s]
/proc/loadavg: 5.98 8.33 5.20 3/242 17153
/proc/meminfo: memFree=31978324/32770624 swapFree=5900/220540
[pid=17153] ppid=17150 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17153/stat : 17153 (xcsp3-exec) S 17150 17153 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3505976 9740288 346 33554432000 4194304 5098028 140725142203552 140725142201656 140637429858940 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34893824 140725142209679 140725142209888 140725142209888 140725142212587 0
/proc/17153/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700207 s]
/proc/loadavg: 5.98 8.33 5.20 3/242 17153
/proc/meminfo: memFree=31978324/32770624 swapFree=5900/220540
[pid=17153] ppid=17150 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17153/stat : 17153 (xcsp3-exec) S 17150 17153 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3505976 9740288 346 33554432000 4194304 5098028 140725142203552 140725142201656 140637429858940 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34893824 140725142209679 140725142209888 140725142209888 140725142212587 0
/proc/17153/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50095 s]
/proc/loadavg: 5.98 8.33 5.20 18/297 17212
/proc/meminfo: memFree=31634368/32770624 swapFree=5900/216260
[pid=17153] ppid=17150 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17153/stat : 17153 (xcsp3-exec) S 17150 17153 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3505976 9740288 346 33554432000 4194304 5098028 140725142203552 140725142201656 140637429858940 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34893824 140725142209679 140725142209888 140725142209888 140725142212587 0
/proc/17153/statm: 2378 346 289 221 0 87 0
[pid=17154] ppid=17153 vsize=13801768 CPUtime=5.84 cores=0,2,4,6,8,10,12,14
/proc/17154/stat : 17154 (java) S 17153 17153 16913 0 -1 1077944320 23021 0 0 0 564 20 0 0 20 0 28 0 3505977 14133010432 55931 33554432000 4194304 4196468 140720399290688 140720399273232 140669694557943 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
/proc/17154/statm: 3450442 55931 3258 1 0 3437675 0
[pid=17154/tid=17155] ppid=17153 vsize=13801768 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17155/stat : 17155 (java) S 17153 17153 16913 0 -1 1077944384 8543 0 0 0 123 4 0 0 20 0 28 0 3505977 14133010432 55931 33554432000 4194304 4196468 140720399290688 140669698798720 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17158] ppid=17153 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17158/stat : 17158 (java) S 17153 17153 16913 0 -1 1077944384 143 0 0 0 1 1 0 0 20 0 28 0 3505978 14133010432 55931 33554432000 4194304 4196468 140720399290688 140669647178640 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17159] ppid=17153 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17159/stat : 17159 (java) S 17153 17153 16913 0 -1 1077944384 12 0 0 0 0 1 0 0 20 0 28 0 3505978 14133010432 55931 33554432000 4194304 4196468 140720399290688 140669646125840 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17161] ppid=17153 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17161/stat : 17161 (java) S 17153 17153 16913 0 -1 1077944384 69 0 0 0 1 1 0 0 20 0 28 0 3505978 14133010432 55931 33554432000 4194304 4196468 140720399290688 140669645073552 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17162] ppid=17153 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17162/stat : 17162 (java) S 17153 17153 16913 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 3505978 14133010432 55931 33554432000 4194304 4196468 140720399290688 140669644020752 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17163] ppid=17153 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17163/stat : 17163 (java) S 17153 17153 16913 0 -1 1077944384 48 0 0 0 2 1 0 0 20 0 28 0 3505978 14133010432 55931 33554432000 4194304 4196468 140720399290688 140669642967440 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17164] ppid=17153 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17164/stat : 17164 (java) S 17153 17153 16913 0 -1 1077944384 74 0 0 0 1 1 0 0 20 0 28 0 3505978 14133010432 55931 33554432000 4194304 4196468 140720399290688 140669288380688 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17165] ppid=17153 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17165/stat : 17165 (java) S 17153 17153 16913 0 -1 1077944384 16 0 0 0 1 1 0 0 20 0 28 0 3505978 14133010432 55931 33554432000 4194304 4196468 140720399290688 140669287328400 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17166] ppid=17153 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17166/stat : 17166 (java) S 17153 17153 16913 0 -1 1077944384 34 0 0 0 1 1 0 0 20 0 28 0 3505978 14133010432 55931 33554432000 4194304 4196468 140720399290688 140669286275600 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17169] ppid=17153 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17169/stat : 17169 (java) S 17153 17153 16913 0 -1 1077944384 197 0 0 0 0 0 0 0 20 0 28 0 3505980 14133010432 55931 33554432000 4194304 4196468 140720399290688 140669022571120 140669694569090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17172] ppid=17153 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17172/stat : 17172 (java) S 17153 17153 16913 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3505981 14133010432 55931 33554432000 4194304 4196468 140720399290688 140669021517088 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17176] ppid=17153 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17176/stat : 17176 (java) S 17153 17153 16913 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3505981 14133010432 55931 33554432000 4194304 4196468 140720399290688 140669020464752 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17188] ppid=17153 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17188/stat : 17188 (java) S 17153 17153 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3505984 14133010432 55931 33554432000 4194304 4196468 140720399290688 140669019413072 140669694576539 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17189] ppid=17153 vsize=13801768 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17189/stat : 17189 (java) S 17153 17153 16913 0 -1 1077944384 3224 0 0 0 90 1 0 0 20 0 28 0 3505984 14133010432 55931 33554432000 4194304 4196468 140720399290688 140669018359920 140669694569090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17190] ppid=17153 vsize=13801768 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17190/stat : 17190 (java) R 17153 17153 16913 0 -1 4202560 3663 0 0 0 96 0 0 0 20 0 28 0 3505984 14133010432 55931 33554432000 4194304 4196468 140720399290688 140669017293344 140669676080024 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17191] ppid=17153 vsize=13801768 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17191/stat : 17191 (java) S 17153 17153 16913 0 -1 1077944384 2430 0 0 0 95 1 0 0 20 0 28 0 3505984 14133010432 55931 33554432000 4194304 4196468 140720399290688 140669016254832 140669694569090 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17192] ppid=17153 vsize=13801768 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17192/stat : 17192 (java) S 17153 17153 16913 0 -1 1077944384 2878 0 0 0 62 1 0 0 20 0 28 0 3505984 14133010432 55931 33554432000 4194304 4196468 140720399290688 140669015202032 140669694569090 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17193] ppid=17153 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17193/stat : 17193 (java) S 17153 17153 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3505984 14133010432 55931 33554432000 4194304 4196468 140720399290688 140669014149984 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17194] ppid=17153 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17194/stat : 17194 (java) S 17153 17153 16913 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3505985 14133010432 55931 33554432000 4194304 4196468 140720399290688 140669013097264 140669694569090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
Current children cumulated CPU time (s) 5.84
Current children cumulated vsize (KiB) 13811280
[startup+3.10145 s]
/proc/loadavg: 5.98 8.33 5.20 25/305 17220
/proc/meminfo: memFree=31516576/32770624 swapFree=5900/216256
[pid=17153] ppid=17150 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17153/stat : 17153 (xcsp3-exec) S 17150 17153 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3505976 9740288 346 33554432000 4194304 5098028 140725142203552 140725142201656 140637429858940 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34893824 140725142209679 140725142209888 140725142209888 140725142212587 0
/proc/17153/statm: 2378 346 289 221 0 87 0
[pid=17154] ppid=17153 vsize=13801768 CPUtime=18.42 cores=0,2,4,6,8,10,12,14
/proc/17154/stat : 17154 (java) S 17153 17153 16913 0 -1 1077944320 29160 0 0 0 1794 48 0 0 20 0 28 0 3505977 14133010432 73752 33554432000 4194304 4196468 140720399290688 140720399273232 140669694557943 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
/proc/17154/statm: 3450442 73752 3270 1 0 3437675 0
[pid=17154/tid=17155] ppid=17153 vsize=13801768 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17155/stat : 17155 (java) S 17153 17153 16913 0 -1 1077944384 8543 0 0 0 123 4 0 0 20 0 28 0 3505977 14133010432 73752 33554432000 4194304 4196468 140720399290688 140669698798720 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17158] ppid=17153 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17158/stat : 17158 (java) S 17153 17153 16913 0 -1 1077944384 162 0 0 0 3 4 0 0 20 0 28 0 3505978 14133010432 73752 33554432000 4194304 4196468 140720399290688 140669647178640 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17159] ppid=17153 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17159/stat : 17159 (java) S 17153 17153 16913 0 -1 1077944384 48 0 0 0 3 3 0 0 20 0 28 0 3505978 14133010432 73752 33554432000 4194304 4196468 140720399290688 140669646125840 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17161] ppid=17153 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17161/stat : 17161 (java) S 17153 17153 16913 0 -1 1077944384 104 0 0 0 4 5 0 0 20 0 28 0 3505978 14133010432 73752 33554432000 4194304 4196468 140720399290688 140669645073552 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17162] ppid=17153 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17162/stat : 17162 (java) S 17153 17153 16913 0 -1 1077944384 51 0 0 0 5 4 0 0 20 0 28 0 3505978 14133010432 73752 33554432000 4194304 4196468 140720399290688 140669644020752 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17163] ppid=17153 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17163/stat : 17163 (java) S 17153 17153 16913 0 -1 1077944384 75 0 0 0 4 5 0 0 20 0 28 0 3505978 14133010432 73752 33554432000 4194304 4196468 140720399290688 140669642967440 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17164] ppid=17153 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17164/stat : 17164 (java) S 17153 17153 16913 0 -1 1077944384 107 0 0 0 5 4 0 0 20 0 28 0 3505978 14133010432 73752 33554432000 4194304 4196468 140720399290688 140669288380688 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17165] ppid=17153 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17165/stat : 17165 (java) S 17153 17153 16913 0 -1 1077944384 42 0 0 0 4 5 0 0 20 0 28 0 3505978 14133010432 73752 33554432000 4194304 4196468 140720399290688 140669287328400 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17166] ppid=17153 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17166/stat : 17166 (java) S 17153 17153 16913 0 -1 1077944384 69 0 0 0 4 5 0 0 20 0 28 0 3505978 14133010432 73752 33554432000 4194304 4196468 140720399290688 140669286275600 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17169] ppid=17153 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17169/stat : 17169 (java) S 17153 17153 16913 0 -1 1077944384 197 0 0 0 0 0 0 0 20 0 28 0 3505980 14133010432 73752 33554432000 4194304 4196468 140720399290688 140669022571120 140669694569090 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17172] ppid=17153 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17172/stat : 17172 (java) S 17153 17153 16913 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3505981 14133010432 73752 33554432000 4194304 4196468 140720399290688 140669021517152 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17176] ppid=17153 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17176/stat : 17176 (java) S 17153 17153 16913 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3505981 14133010432 73752 33554432000 4194304 4196468 140720399290688 140669020464752 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17188] ppid=17153 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17188/stat : 17188 (java) S 17153 17153 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3505984 14133010432 73752 33554432000 4194304 4196468 140720399290688 140669019413072 140669694576539 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17189] ppid=17153 vsize=13801768 CPUtime=2.15 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17189/stat : 17189 (java) R 17153 17153 16913 0 -1 4202560 4590 0 0 0 214 1 0 0 20 0 28 0 3505984 14133010432 73752 33554432000 4194304 4196468 140720399290688 140669018345800 140669676084294 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17190] ppid=17153 vsize=13801768 CPUtime=2.1 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17190/stat : 17190 (java) R 17153 17153 16913 0 -1 4202560 4880 0 0 0 210 0 0 0 20 0 28 0 3505984 14133010432 73752 33554432000 4194304 4196468 140720399290688 140669017293664 140669673849283 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17191] ppid=17153 vsize=13801768 CPUtime=2.1 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17191/stat : 17191 (java) R 17153 17153 16913 0 -1 4202560 4446 0 0 0 208 2 0 0 20 0 28 0 3505984 14133010432 73752 33554432000 4194304 4196468 140720399290688 140669016241184 140669677942597 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17192] ppid=17153 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17192/stat : 17192 (java) S 17153 17153 16913 0 -1 1077944384 3599 0 0 0 89 1 0 0 20 0 28 0 3505984 14133010432 73752 33554432000 4194304 4196468 140720399290688 140669015202032 140669694569090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17193] ppid=17153 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17193/stat : 17193 (java) S 17153 17153 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3505984 14133010432 73752 33554432000 4194304 4196468 140720399290688 140669014149984 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17194] ppid=17153 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17194/stat : 17194 (java) S 17153 17153 16913 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 3505985 14133010432 73752 33554432000 4194304 4196468 140720399290688 140669013097264 140669694569090 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17213] ppid=17153 vsize=13801768 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17213/stat : 17213 (java) R 17153 17153 16913 0 -1 4202560 83 0 0 0 108 0 0 0 20 0 28 0 3506110 14133010432 73752 33554432000 4194304 4196468 140720399290688 140669005081880 140669329387466 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17214] ppid=17153 vsize=13801768 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17214/stat : 17214 (java) R 17153 17153 16913 0 -1 4202560 114 0 0 0 132 0 0 0 20 0 28 0 3506110 14133010432 73752 33554432000 4194304 4196468 140720399290688 140669004032384 140669330003684 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17215] ppid=17153 vsize=13801768 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17215/stat : 17215 (java) R 17153 17153 16913 0 -1 4202560 120 0 0 0 103 0 0 0 20 0 28 0 3506110 14133010432 73752 33554432000 4194304 4196468 140720399290688 140669002979064 140669329394791 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17216] ppid=17153 vsize=13801768 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17216/stat : 17216 (java) R 17153 17153 16913 0 -1 4202560 80 0 0 0 118 0 0 0 20 0 28 0 3506110 14133010432 73752 33554432000 4194304 4196468 140720399290688 140669001924520 140669329394324 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17217] ppid=17153 vsize=13801768 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17217/stat : 17217 (java) R 17153 17153 16913 0 -1 4202560 270 0 0 0 110 0 0 0 20 0 28 0 3506110 14133010432 73752 33554432000 4194304 4196468 140720399290688 140669000874056 140669330954967 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17218] ppid=17153 vsize=13801768 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17218/stat : 17218 (java) R 17153 17153 16913 0 -1 4202560 101 0 0 0 120 0 0 0 20 0 28 0 3506110 14133010432 73752 33554432000 4194304 4196468 140720399290688 140668999819352 140669330620215 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17219] ppid=17153 vsize=13801768 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17219/stat : 17219 (java) R 17153 17153 16913 0 -1 4202560 50 0 0 0 107 0 0 0 20 0 28 0 3506110 14133010432 73752 33554432000 4194304 4196468 140720399290688 140668998769272 140669330022107 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17220] ppid=17153 vsize=13801768 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17220/stat : 17220 (java) R 17153 17153 16913 0 -1 4202560 70 0 0 0 110 0 0 0 20 0 28 0 3506110 14133010432 73752 33554432000 4194304 4196468 140720399290688 140668997713400 140669330954252 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
Current children cumulated CPU time (s) 18.42
Current children cumulated vsize (KiB) 13811280
[startup+6.30152 s]
/proc/loadavg: 6.55 8.40 5.24 19/305 17220
/proc/meminfo: memFree=31504180/32770624 swapFree=5900/216276
[pid=17153] ppid=17150 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17153/stat : 17153 (xcsp3-exec) S 17150 17153 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3505976 9740288 346 33554432000 4194304 5098028 140725142203552 140725142201656 140637429858940 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34893824 140725142209679 140725142209888 140725142209888 140725142212587 0
/proc/17153/statm: 2378 346 289 221 0 87 0
[pid=17154] ppid=17153 vsize=13801768 CPUtime=43.83 cores=0,2,4,6,8,10,12,14
/proc/17154/stat : 17154 (java) S 17153 17153 16913 0 -1 1077944320 37362 0 0 0 4332 51 0 0 20 0 28 0 3505977 14133010432 75670 33554432000 4194304 4196468 140720399290688 140720399273232 140669694557943 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
/proc/17154/statm: 3450442 75670 3272 1 0 3437675 0
[pid=17154/tid=17155] ppid=17153 vsize=13801768 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17155/stat : 17155 (java) S 17153 17153 16913 0 -1 1077944384 8543 0 0 0 123 4 0 0 20 0 28 0 3505977 14133010432 75670 33554432000 4194304 4196468 140720399290688 140669698798720 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17158] ppid=17153 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17158/stat : 17158 (java) S 17153 17153 16913 0 -1 1077944384 162 0 0 0 3 4 0 0 20 0 28 0 3505978 14133010432 75670 33554432000 4194304 4196468 140720399290688 140669647178640 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17159] ppid=17153 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17159/stat : 17159 (java) S 17153 17153 16913 0 -1 1077944384 48 0 0 0 3 3 0 0 20 0 28 0 3505978 14133010432 75670 33554432000 4194304 4196468 140720399290688 140669646125840 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17161] ppid=17153 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17161/stat : 17161 (java) S 17153 17153 16913 0 -1 1077944384 104 0 0 0 4 5 0 0 20 0 28 0 3505978 14133010432 75670 33554432000 4194304 4196468 140720399290688 140669645073552 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17162] ppid=17153 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17162/stat : 17162 (java) S 17153 17153 16913 0 -1 1077944384 51 0 0 0 5 4 0 0 20 0 28 0 3505978 14133010432 75670 33554432000 4194304 4196468 140720399290688 140669644020752 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
################
# More data... #
################
[pid=17154/tid=17219] ppid=17153 vsize=13801768 CPUtime=217.89 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17219/stat : 17219 (java) R 17153 17153 16913 0 -1 4202560 1292 0 0 0 21787 2 0 0 20 0 28 0 3506110 14133010432 636080 33554432000 4194304 4196468 140720399290688 140668998766216 140669329394449 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17220] ppid=17153 vsize=13801768 CPUtime=216.58 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17220/stat : 17220 (java) R 17153 17153 16913 0 -1 4202560 905 0 0 0 21658 0 0 0 20 0 28 0 3506110 14133010432 636080 33554432000 4194304 4196468 140720399290688 140668997713720 140669322865422 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
Current children cumulated CPU time (s) 1763.88
Current children cumulated vsize (KiB) 13811280
[startup+282.301 s]
/proc/loadavg: 15.72 12.93 7.99 17/304 17224
/proc/meminfo: memFree=29187688/32770624 swapFree=5900/216536
[pid=17153] ppid=17150 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17153/stat : 17153 (xcsp3-exec) S 17150 17153 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3505976 9740288 346 33554432000 4194304 5098028 140725142203552 140725142201656 140637429858940 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34893824 140725142209679 140725142209888 140725142209888 140725142212587 0
/proc/17153/statm: 2378 346 289 221 0 87 0
[pid=17154] ppid=17153 vsize=13801768 CPUtime=2240.14 cores=0,2,4,6,8,10,12,14
/proc/17154/stat : 17154 (java) S 17153 17153 16913 0 -1 1077944320 97054 0 0 0 223703 311 0 0 20 0 28 0 3505977 14133010432 643140 33554432000 4194304 4196468 140720399290688 140720399273232 140669694557943 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
/proc/17154/statm: 3450442 643140 3296 1 0 3437675 0
[pid=17154/tid=17155] ppid=17153 vsize=13801768 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17155/stat : 17155 (java) S 17153 17153 16913 0 -1 1077944384 8543 0 0 0 123 4 0 0 20 0 28 0 3505977 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669698798720 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17158] ppid=17153 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17158/stat : 17158 (java) S 17153 17153 16913 0 -1 1077944384 1197 0 0 0 52 29 0 0 20 0 28 0 3505978 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669647178640 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17159] ppid=17153 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17159/stat : 17159 (java) S 17153 17153 16913 0 -1 1077944384 2169 0 0 0 55 28 0 0 20 0 28 0 3505978 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669646125840 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17161] ppid=17153 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17161/stat : 17161 (java) S 17153 17153 16913 0 -1 1077944384 1026 0 0 0 57 31 0 0 20 0 28 0 3505978 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669645073552 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17162] ppid=17153 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17162/stat : 17162 (java) S 17153 17153 16913 0 -1 1077944384 1739 0 0 0 57 30 0 0 20 0 28 0 3505978 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669644020752 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17163] ppid=17153 vsize=13801768 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17163/stat : 17163 (java) S 17153 17153 16913 0 -1 1077944384 613 0 0 0 53 32 0 0 20 0 28 0 3505978 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669642967440 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17164] ppid=17153 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17164/stat : 17164 (java) S 17153 17153 16913 0 -1 1077944384 978 0 0 0 56 30 0 0 20 0 28 0 3505978 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669288380688 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17165] ppid=17153 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17165/stat : 17165 (java) S 17153 17153 16913 0 -1 1077944384 1161 0 0 0 54 34 0 0 20 0 28 0 3505978 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669287328400 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17166] ppid=17153 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17166/stat : 17166 (java) S 17153 17153 16913 0 -1 1077944384 955 0 0 0 56 30 0 0 20 0 28 0 3505978 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669286275600 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17169] ppid=17153 vsize=13801768 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17169/stat : 17169 (java) S 17153 17153 16913 0 -1 1077944384 7498 0 0 0 26 10 0 0 20 0 28 0 3505980 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669022571120 140669694569090 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17172] ppid=17153 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17172/stat : 17172 (java) S 17153 17153 16913 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 3505981 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669021517152 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17176] ppid=17153 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17176/stat : 17176 (java) S 17153 17153 16913 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 3505981 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669020464768 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17188] ppid=17153 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17188/stat : 17188 (java) S 17153 17153 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3505984 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669019413072 140669694576539 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17189] ppid=17153 vsize=13801768 CPUtime=5.2 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17189/stat : 17189 (java) S 17153 17153 16913 0 -1 1077944384 15901 0 0 0 518 2 0 0 20 0 28 0 3505984 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669018359920 140669694569090 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17190] ppid=17153 vsize=13801768 CPUtime=5.46 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17190/stat : 17190 (java) S 17153 17153 16913 0 -1 1077944384 15382 0 0 0 544 2 0 0 20 0 28 0 3505984 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669017307120 140669694569090 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17191] ppid=17153 vsize=13801768 CPUtime=4.95 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17191/stat : 17191 (java) S 17153 17153 16913 0 -1 1077944384 12419 0 0 0 493 2 0 0 20 0 28 0 3505984 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669016254832 140669694569090 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17192] ppid=17153 vsize=13801768 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17192/stat : 17192 (java) S 17153 17153 16913 0 -1 1077944384 9103 0 0 0 126 2 0 0 20 0 28 0 3505984 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669015202032 140669694569090 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17193] ppid=17153 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17193/stat : 17193 (java) S 17153 17153 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3505984 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669014149984 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17194] ppid=17153 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17194/stat : 17194 (java) S 17153 17153 16913 0 -1 1077944384 573 0 0 0 5 6 0 0 20 0 28 0 3505985 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669013097264 140669694569090 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17213] ppid=17153 vsize=13801768 CPUtime=277.37 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17213/stat : 17213 (java) R 17153 17153 16913 0 -1 4202560 3061 0 0 0 27728 9 0 0 20 0 28 0 3506110 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669005081784 140669334731371 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17214] ppid=17153 vsize=13801768 CPUtime=277.87 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17214/stat : 17214 (java) R 17153 17153 16913 0 -1 4202560 1429 0 0 0 27786 1 0 0 20 0 28 0 3506110 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669004029704 140669330695167 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17215] ppid=17153 vsize=13801768 CPUtime=276.84 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17215/stat : 17215 (java) R 17153 17153 16913 0 -1 4202560 3349 0 0 0 27674 10 0 0 20 0 28 0 3506110 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669002976776 140669334731366 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17216] ppid=17153 vsize=13801768 CPUtime=277.75 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17216/stat : 17216 (java) R 17153 17153 16913 0 -1 4202560 1900 0 0 0 27772 3 0 0 20 0 28 0 3506110 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669001923776 140669334731108 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17217] ppid=17153 vsize=13801768 CPUtime=276.89 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17217/stat : 17217 (java) R 17153 17153 16913 0 -1 4202560 3372 0 0 0 27683 6 0 0 20 0 28 0 3506110 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669000874176 140669334731098 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17218] ppid=17153 vsize=13801768 CPUtime=275.14 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17218/stat : 17218 (java) R 17153 17153 16913 0 -1 4202560 1054 0 0 0 27514 0 0 0 20 0 28 0 3506110 14133010432 643140 33554432000 4194304 4196468 140720399290688 140668999818392 140669333366159 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17219] ppid=17153 vsize=13801768 CPUtime=276.66 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17219/stat : 17219 (java) R 17153 17153 16913 0 -1 4202560 1306 0 0 0 27664 2 0 0 20 0 28 0 3506110 14133010432 643140 33554432000 4194304 4196468 140720399290688 140668998766216 140669332855611 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17220] ppid=17153 vsize=13801768 CPUtime=275.91 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17220/stat : 17220 (java) R 17153 17153 16913 0 -1 4202560 946 0 0 0 27591 0 0 0 20 0 28 0 3506110 14133010432 643140 33554432000 4194304 4196468 140720399290688 140668997713288 140669332169764 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
Current children cumulated CPU time (s) 2240.14
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.401 s]
/proc/loadavg: 15.80 13.13 8.16 17/302 17225
/proc/meminfo: memFree=29188352/32770624 swapFree=5900/216576
[pid=17153] ppid=17150 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17153/stat : 17153 (xcsp3-exec) S 17150 17153 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3505976 9740288 346 33554432000 4194304 5098028 140725142203552 140725142201656 140637429858940 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34893824 140725142209679 140725142209888 140725142209888 140725142212587 0
/proc/17153/statm: 2378 346 289 221 0 87 0
[pid=17154] ppid=17153 vsize=13801768 CPUtime=2400.3 cores=0,2,4,6,8,10,12,14
/proc/17154/stat : 17154 (java) S 17153 17153 16913 0 -1 1077944320 99531 0 0 0 239718 312 0 0 20 0 28 0 3505977 14133010432 643140 33554432000 4194304 4196468 140720399290688 140720399273232 140669694557943 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
/proc/17154/statm: 3450442 643140 3296 1 0 3437675 0
[pid=17154/tid=17155] ppid=17153 vsize=13801768 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17155/stat : 17155 (java) S 17153 17153 16913 0 -1 1077944384 8543 0 0 0 123 4 0 0 20 0 28 0 3505977 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669698798720 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17158] ppid=17153 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17158/stat : 17158 (java) S 17153 17153 16913 0 -1 1077944384 1197 0 0 0 52 29 0 0 20 0 28 0 3505978 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669647178640 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17159] ppid=17153 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17159/stat : 17159 (java) S 17153 17153 16913 0 -1 1077944384 2169 0 0 0 55 28 0 0 20 0 28 0 3505978 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669646125840 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17161] ppid=17153 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17161/stat : 17161 (java) S 17153 17153 16913 0 -1 1077944384 1026 0 0 0 57 31 0 0 20 0 28 0 3505978 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669645073552 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17162] ppid=17153 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17162/stat : 17162 (java) S 17153 17153 16913 0 -1 1077944384 1739 0 0 0 57 30 0 0 20 0 28 0 3505978 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669644020752 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17163] ppid=17153 vsize=13801768 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17163/stat : 17163 (java) S 17153 17153 16913 0 -1 1077944384 613 0 0 0 53 32 0 0 20 0 28 0 3505978 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669642967440 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17164] ppid=17153 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17164/stat : 17164 (java) S 17153 17153 16913 0 -1 1077944384 978 0 0 0 56 30 0 0 20 0 28 0 3505978 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669288380688 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17165] ppid=17153 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17165/stat : 17165 (java) S 17153 17153 16913 0 -1 1077944384 1161 0 0 0 54 34 0 0 20 0 28 0 3505978 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669287328400 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17166] ppid=17153 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17166/stat : 17166 (java) S 17153 17153 16913 0 -1 1077944384 955 0 0 0 56 30 0 0 20 0 28 0 3505978 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669286275600 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17169] ppid=17153 vsize=13801768 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17169/stat : 17169 (java) R 17153 17153 16913 0 -1 4202560 7520 0 0 0 26 10 0 0 20 0 28 0 3505980 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669022571272 140669687186151 0 0 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17172] ppid=17153 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17172/stat : 17172 (java) S 17153 17153 16913 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 3505981 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669021517152 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17176] ppid=17153 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17176/stat : 17176 (java) S 17153 17153 16913 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 3505981 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669020464768 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17188] ppid=17153 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17188/stat : 17188 (java) S 17153 17153 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3505984 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669019413072 140669694576539 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17189] ppid=17153 vsize=13801768 CPUtime=5.2 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17189/stat : 17189 (java) S 17153 17153 16913 0 -1 1077944384 15904 0 0 0 518 2 0 0 20 0 28 0 3505984 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669018359920 140669694569090 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17190] ppid=17153 vsize=13801768 CPUtime=5.46 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17190/stat : 17190 (java) S 17153 17153 16913 0 -1 1077944384 15385 0 0 0 544 2 0 0 20 0 28 0 3505984 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669017307120 140669694569090 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17191] ppid=17153 vsize=13801768 CPUtime=4.96 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17191/stat : 17191 (java) S 17153 17153 16913 0 -1 1077944384 13340 0 0 0 494 2 0 0 20 0 28 0 3505984 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669016254832 140669694569090 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17192] ppid=17153 vsize=13801768 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17192/stat : 17192 (java) S 17153 17153 16913 0 -1 1077944384 9112 0 0 0 126 2 0 0 20 0 28 0 3505984 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669015202032 140669694569090 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17193] ppid=17153 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17193/stat : 17193 (java) S 17153 17153 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3505984 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669014149984 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17194] ppid=17153 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17194/stat : 17194 (java) S 17153 17153 16913 0 -1 1077944384 601 0 0 0 6 7 0 0 20 0 28 0 3505985 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669013097264 140669694569090 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17213] ppid=17153 vsize=13801768 CPUtime=297.43 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17213/stat : 17213 (java) S 17153 17153 16913 0 -1 1077944384 3159 0 0 0 29734 9 0 0 20 0 28 0 3506110 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669005081376 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17214] ppid=17153 vsize=13801768 CPUtime=297.96 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17214/stat : 17214 (java) S 17153 17153 16913 0 -1 1077944384 1540 0 0 0 29794 2 0 0 20 0 28 0 3506110 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669004030304 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17215] ppid=17153 vsize=13801768 CPUtime=296.6 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17215/stat : 17215 (java) S 17153 17153 16913 0 -1 1077944384 3661 0 0 0 29650 10 0 0 20 0 28 0 3506110 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669002976672 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17216] ppid=17153 vsize=13801768 CPUtime=297.81 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17216/stat : 17216 (java) R 17153 17153 16913 0 -1 4202560 2023 0 0 0 29778 3 0 0 20 0 28 0 3506110 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669001923776 140669334731108 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17217] ppid=17153 vsize=13801768 CPUtime=296.83 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17217/stat : 17217 (java) S 17153 17153 16913 0 -1 1077944384 3897 0 0 0 29677 6 0 0 20 0 28 0 3506110 14133010432 643140 33554432000 4194304 4196468 140720399290688 140669000871584 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17218] ppid=17153 vsize=13801768 CPUtime=295.22 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17218/stat : 17218 (java) S 17153 17153 16913 0 -1 1077944384 1135 0 0 0 29522 0 0 0 20 0 28 0 3506110 14133010432 643140 33554432000 4194304 4196468 140720399290688 140668999818368 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17219] ppid=17153 vsize=13801768 CPUtime=296.75 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17219/stat : 17219 (java) S 17153 17153 16913 0 -1 1077944384 1357 0 0 0 29673 2 0 0 20 0 28 0 3506110 14133010432 643140 33554432000 4194304 4196468 140720399290688 140668998766464 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
[pid=17154/tid=17220] ppid=17153 vsize=13801768 CPUtime=295.99 cores=0,2,4,6,8,10,12,14
/proc/17154/task/17220/stat : 17220 (java) S 17153 17153 16913 0 -1 1077944384 1136 0 0 0 29599 0 0 0 20 0 28 0 3506110 14133010432 643140 33554432000 4194304 4196468 140720399290688 140668997713488 140669694568149 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20537344 140720399295676 140720399295852 140720399295852 140720399298511 0
Current children cumulated CPU time (s) 2400.3
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17154 sig 9
??? kill 17153 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17153 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2025
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1610
# CPU time returned by wait4() is 0.003635
# while last known CPU time is 2400.3
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.412
CPU time (s): 2400.3
CPU user time (s): 2397.18
CPU system time (s): 3.12
CPU usage (%): 793.719
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002025
system time used= 0.00161
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.63104 second user time and 3.90102 second system time
The end