runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15238 MiB free)
memory of node 1: 16384 MiB (15499 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400607-1568691299/watcher-4400607-1568691299 -o /tmp/evaluation-result-4400607-1568691299/solver-4400607-1568691299 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24303 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 534362802 HOME/instance-4400607-1568691299.xml
running on 4 cores: 0,2,4,6
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24340, runsolver pid=24337
Current StackSize limit: 8192 KiB
[startup+0.106545 s]*
/proc/loadavg: 4.15 6.11 7.48 5/230 24364
/proc/meminfo: memFree=31452136/32770624 swapFree=66997372/67108860
[pid=24340] ppid=24337 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24340/stat : 24340 (xcsp3-exec) S 24337 24340 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445382960 115843072 362 33554432000 4194304 5098028 140724243860208 140724243858312 139713327514236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22003712 140724243866491 140724243866733 140724243866733 140724243869642 0
/proc/24340/statm: 28282 362 304 221 0 87 0
[pid=24343] ppid=24340 vsize=15144776 memory=29196 CPUtime=0.14 cores=0,2,4,6
/proc/24343/stat : 24343 (java) S 24340 24340 24272 0 -1 1077944320 5740 0 0 0 13 1 0 0 20 0 15 0 445382960 15508250624 7299 33554432000 4194304 4196468 140730235567840 140730235550384 139863386640119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
/proc/24343/statm: 3786194 7299 3185 1 0 3748377 0
[pid=24343/tid=24345] ppid=24340 vsize=15144776 memory=7100839870104831090 CPUtime=0.1 cores=0,2,4,6
/proc/24343/task/24345/stat : 24345 (java) R 24340 24340 24272 0 -1 4202560 3594 0 0 0 9 1 0 0 20 0 15 0 445382961 15508250624 7299 33554432000 4194304 4196468 140730235567840 139863390869792 139863386652054 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24346] ppid=24340 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24346/stat : 24346 (java) S 24340 24340 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382962 15508250624 7299 33554432000 4194304 4196468 140730235567840 139863339260176 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24347] ppid=24340 vsize=15144776 memory=140552249902720 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24347/stat : 24347 (java) S 24340 24340 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382962 15508250624 7299 33554432000 4194304 4196468 140730235567840 139863338207632 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24348] ppid=24340 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24348/stat : 24348 (java) S 24340 24340 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382962 15508250624 7299 33554432000 4194304 4196468 140730235567840 139863337155088 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24349] ppid=24340 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24349/stat : 24349 (java) S 24340 24340 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445382962 15508250624 7299 33554432000 4194304 4196468 140730235567840 139863336102544 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24354] ppid=24340 vsize=15144776 memory=140552249902720 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24354/stat : 24354 (java) S 24340 24340 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445382963 15508250624 7299 33554432000 4194304 4196468 140730235567840 139862854314480 139863386651266 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24357] ppid=24340 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24357/stat : 24357 (java) S 24340 24340 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445382963 15508250624 7299 33554432000 4194304 4196468 140730235567840 139862853260704 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24358] ppid=24340 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24358/stat : 24358 (java) S 24340 24340 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445382964 15508250624 7299 33554432000 4194304 4196468 140730235567840 139862852208112 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24359] ppid=24340 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24359/stat : 24359 (java) S 24340 24340 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445382966 15508250624 7299 33554432000 4194304 4196468 140730235567840 139862851156688 139863386658715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24360] ppid=24340 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24360/stat : 24360 (java) S 24340 24340 24272 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 15 0 445382966 15508250624 7299 33554432000 4194304 4196468 140730235567840 139862850103280 139863386651266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24361] ppid=24340 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24361/stat : 24361 (java) S 24340 24340 24272 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 15 0 445382966 15508250624 7299 33554432000 4194304 4196468 140730235567840 139862849050736 139863386651266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24362] ppid=24340 vsize=15144776 memory=140552249902720 CPUtime=0.02 cores=0,2,4,6
/proc/24343/task/24362/stat : 24362 (java) R 24340 24340 24272 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 15 0 445382966 15508250624 7299 33554432000 4194304 4196468 140730235567840 139862847998192 139863370805362 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24363] ppid=24340 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24363/stat : 24363 (java) S 24340 24340 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445382966 15508250624 7299 33554432000 4194304 4196468 140730235567840 139862846945888 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24364] ppid=24340 vsize=15144776 memory=140552249902720 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24364/stat : 24364 (java) S 24340 24340 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382966 15508250624 7299 33554432000 4194304 4196468 140730235567840 139862845893424 139863386651266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30644 KiB
[startup+0.210712 s]*
/proc/loadavg: 4.15 6.11 7.48 5/230 24364
/proc/meminfo: memFree=31426212/32770624 swapFree=66997372/67108860
[pid=24340] ppid=24337 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24340/stat : 24340 (xcsp3-exec) S 24337 24340 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445382960 115843072 362 33554432000 4194304 5098028 140724243860208 140724243858312 139713327514236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22003712 140724243866491 140724243866733 140724243866733 140724243869642 0
/proc/24340/statm: 28282 362 304 221 0 87 0
[pid=24343] ppid=24340 vsize=15144776 memory=41044 CPUtime=0.35 cores=0,2,4,6
/proc/24343/stat : 24343 (java) S 24340 24340 24272 0 -1 1077944320 9452 0 0 0 31 4 0 0 20 0 15 0 445382960 15508250624 10261 33554432000 4194304 4196468 140730235567840 140730235550384 139863386640119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
/proc/24343/statm: 3786194 10261 3317 1 0 3748377 0
[pid=24343/tid=24345] ppid=24340 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/24343/task/24345/stat : 24345 (java) R 24340 24340 24272 0 -1 4202560 6612 0 0 0 17 2 0 0 20 0 15 0 445382961 15508250624 10261 33554432000 4194304 4196468 140730235567840 139863390873824 139863386662045 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24346] ppid=24340 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24346/stat : 24346 (java) S 24340 24340 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382962 15508250624 10261 33554432000 4194304 4196468 140730235567840 139863339260176 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24347] ppid=24340 vsize=15144776 memory=288370928401614464 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24347/stat : 24347 (java) S 24340 24340 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382962 15508250624 10261 33554432000 4194304 4196468 140730235567840 139863338207632 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24348] ppid=24340 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24348/stat : 24348 (java) S 24340 24340 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382962 15508250624 10261 33554432000 4194304 4196468 140730235567840 139863337155088 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24349] ppid=24340 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24349/stat : 24349 (java) S 24340 24340 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445382962 15508250624 10261 33554432000 4194304 4196468 140730235567840 139863336102544 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24354] ppid=24340 vsize=15144776 memory=140552249902720 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24354/stat : 24354 (java) S 24340 24340 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445382963 15508250624 10261 33554432000 4194304 4196468 140730235567840 139862854314480 139863386651266 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24357] ppid=24340 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24357/stat : 24357 (java) S 24340 24340 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445382963 15508250624 10261 33554432000 4194304 4196468 140730235567840 139862853260704 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24358] ppid=24340 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24358/stat : 24358 (java) S 24340 24340 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445382964 15508250624 10261 33554432000 4194304 4196468 140730235567840 139862852208112 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24359] ppid=24340 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24359/stat : 24359 (java) S 24340 24340 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445382966 15508250624 10261 33554432000 4194304 4196468 140730235567840 139862851156688 139863386658715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24360] ppid=24340 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24343/task/24360/stat : 24360 (java) S 24340 24340 24272 0 -1 1077944384 571 0 0 0 2 0 0 0 20 0 15 0 445382966 15508250624 10261 33554432000 4194304 4196468 140730235567840 139862850103280 139863386651266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24361] ppid=24340 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/24343/task/24361/stat : 24361 (java) S 24340 24340 24272 0 -1 1077944384 202 0 0 0 2 0 0 0 20 0 15 0 445382966 15508250624 10261 33554432000 4194304 4196468 140730235567840 139862849050736 139863386651266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24362] ppid=24340 vsize=15144776 memory=140552249902720 CPUtime=0.08 cores=0,2,4,6
/proc/24343/task/24362/stat : 24362 (java) R 24340 24340 24272 0 -1 4202560 764 0 0 0 8 0 0 0 20 0 15 0 445382966 15508250624 10261 33554432000 4194304 4196468 140730235567840 139862847998192 139863365624861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24363] ppid=24340 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24363/stat : 24363 (java) S 24340 24340 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445382966 15508250624 10261 33554432000 4194304 4196468 140730235567840 139862846945888 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24364] ppid=24340 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24364/stat : 24364 (java) S 24340 24340 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382966 15508250624 10261 33554432000 4194304 4196468 140730235567840 139862845893424 139863386651266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42492 KiB
[startup+0.318741 s]*
/proc/loadavg: 4.15 6.11 7.48 4/230 24364
/proc/meminfo: memFree=31412196/32770624 swapFree=66997372/67108860
[pid=24340] ppid=24337 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24340/stat : 24340 (xcsp3-exec) S 24337 24340 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445382960 115843072 362 33554432000 4194304 5098028 140724243860208 140724243858312 139713327514236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22003712 140724243866491 140724243866733 140724243866733 140724243869642 0
/proc/24340/statm: 28282 362 304 221 0 87 0
[pid=24343] ppid=24340 vsize=15149032 memory=50488 CPUtime=0.54 cores=0,2,4,6
/proc/24343/stat : 24343 (java) S 24340 24340 24272 0 -1 1077944320 10973 0 0 0 50 4 0 0 20 0 15 0 445382960 15512608768 12622 33554432000 4194304 4196468 140730235567840 140730235550384 139863386640119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
/proc/24343/statm: 3787258 12622 3363 1 0 3748377 0
[pid=24343/tid=24345] ppid=24340 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/24343/task/24345/stat : 24345 (java) R 24340 24340 24272 0 -1 4202560 7872 0 0 0 27 3 0 0 20 0 15 0 445382961 15512608768 12687 33554432000 4194304 4196468 140730235567840 139863390873904 139863370720606 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24346] ppid=24340 vsize=15149032 memory=9461 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24346/stat : 24346 (java) S 24340 24340 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382962 15512608768 12687 33554432000 4194304 4196468 140730235567840 139863339260176 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24347] ppid=24340 vsize=15149032 memory=288230376155273900 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24347/stat : 24347 (java) S 24340 24340 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382962 15512608768 12687 33554432000 4194304 4196468 140730235567840 139863338207632 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24348] ppid=24340 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24348/stat : 24348 (java) S 24340 24340 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382962 15512608768 12687 33554432000 4194304 4196468 140730235567840 139863337155088 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24349] ppid=24340 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24349/stat : 24349 (java) S 24340 24340 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445382962 15512608768 12687 33554432000 4194304 4196468 140730235567840 139863336102544 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24354] ppid=24340 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24354/stat : 24354 (java) S 24340 24340 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445382963 15512608768 12687 33554432000 4194304 4196468 140730235567840 139862854314480 139863386651266 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24357] ppid=24340 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24357/stat : 24357 (java) S 24340 24340 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445382963 15512608768 12687 33554432000 4194304 4196468 140730235567840 139862853260704 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24358] ppid=24340 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24358/stat : 24358 (java) S 24340 24340 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445382964 15512608768 12687 33554432000 4194304 4196468 140730235567840 139862852208112 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24359] ppid=24340 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24359/stat : 24359 (java) S 24340 24340 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445382966 15512608768 12687 33554432000 4194304 4196468 140730235567840 139862851156688 139863386658715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24360] ppid=24340 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/24343/task/24360/stat : 24360 (java) S 24340 24340 24272 0 -1 1077944384 594 0 0 0 4 0 0 0 20 0 15 0 445382966 15512608768 12687 33554432000 4194304 4196468 140730235567840 139862850103280 139863386651266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24361] ppid=24340 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/24343/task/24361/stat : 24361 (java) S 24340 24340 24272 0 -1 1077944384 332 0 0 0 4 0 0 0 20 0 15 0 445382966 15512608768 12687 33554432000 4194304 4196468 140730235567840 139862849050736 139863386651266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24362] ppid=24340 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/24343/task/24362/stat : 24362 (java) R 24340 24340 24272 0 -1 4202560 878 0 0 0 12 0 0 0 20 0 15 0 445382966 15512608768 12687 33554432000 4194304 4196468 140730235567840 139862847998192 139863386652054 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24363] ppid=24340 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24363/stat : 24363 (java) S 24340 24340 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445382966 15512608768 12687 33554432000 4194304 4196468 140730235567840 139862846945888 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24364] ppid=24340 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24364/stat : 24364 (java) S 24340 24340 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382966 15512608768 12687 33554432000 4194304 4196468 140730235567840 139862845893424 139863386651266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51936 KiB
[startup+0.701739 s]
/proc/loadavg: 4.15 6.11 7.48 8/230 24364
/proc/meminfo: memFree=31384220/32770624 swapFree=66997372/67108860
[pid=24340] ppid=24337 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24340/stat : 24340 (xcsp3-exec) S 24337 24340 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445382960 115843072 362 33554432000 4194304 5098028 140724243860208 140724243858312 139713327514236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22003712 140724243866491 140724243866733 140724243866733 140724243869642 0
/proc/24340/statm: 28282 362 304 221 0 87 0
[pid=24343] ppid=24340 vsize=15151156 memory=84144 CPUtime=1.58 cores=0,2,4,6
/proc/24343/stat : 24343 (java) S 24340 24340 24272 0 -1 1077944320 15220 0 0 0 152 6 0 0 20 0 15 0 445382960 15514783744 21036 33554432000 4194304 4196468 140730235567840 140730235550384 139863386640119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
/proc/24343/statm: 3787789 21036 3453 1 0 3748889 0
[pid=24343/tid=24345] ppid=24340 vsize=15151156 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/24343/task/24345/stat : 24345 (java) R 24340 24340 24272 0 -1 4202560 9203 0 0 0 62 4 0 0 20 0 15 0 445382961 15514783744 21036 33554432000 4194304 4196468 140730235567840 139863390881248 139863386652054 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24346] ppid=24340 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24346/stat : 24346 (java) S 24340 24340 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382962 15514783744 21036 33554432000 4194304 4196468 140730235567840 139863339260176 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24347] ppid=24340 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24347/stat : 24347 (java) S 24340 24340 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382962 15514783744 21036 33554432000 4194304 4196468 140730235567840 139863338207632 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24348] ppid=24340 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24348/stat : 24348 (java) S 24340 24340 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382962 15514783744 21036 33554432000 4194304 4196468 140730235567840 139863337155088 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24349] ppid=24340 vsize=15151156 memory=3768 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24349/stat : 24349 (java) S 24340 24340 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445382962 15514783744 21036 33554432000 4194304 4196468 140730235567840 139863336102544 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24354] ppid=24340 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24354/stat : 24354 (java) S 24340 24340 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445382963 15514783744 21036 33554432000 4194304 4196468 140730235567840 139862854314480 139863386651266 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24357] ppid=24340 vsize=15151156 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24357/stat : 24357 (java) S 24340 24340 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445382963 15514783744 21036 33554432000 4194304 4196468 140730235567840 139862853260704 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24358] ppid=24340 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24358/stat : 24358 (java) S 24340 24340 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445382964 15514783744 21036 33554432000 4194304 4196468 140730235567840 139862852208112 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24359] ppid=24340 vsize=15151156 memory=812 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24359/stat : 24359 (java) S 24340 24340 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445382966 15514783744 21036 33554432000 4194304 4196468 140730235567840 139862851156688 139863386658715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24360] ppid=24340 vsize=15151156 memory=1764 CPUtime=0.24 cores=0,2,4,6
/proc/24343/task/24360/stat : 24360 (java) R 24340 24340 24272 0 -1 4202560 1531 0 0 0 24 0 0 0 20 0 15 0 445382966 15514783744 21036 33554432000 4194304 4196468 140730235567840 139862850093072 139863371749685 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24361] ppid=24340 vsize=15151156 memory=111628 CPUtime=0.25 cores=0,2,4,6
/proc/24343/task/24361/stat : 24361 (java) R 24340 24340 24272 0 -1 1077944384 1047 0 0 0 25 0 0 0 20 0 15 0 445382966 15514783744 21036 33554432000 4194304 4196468 140730235567840 139862849050736 139863386651266 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24362] ppid=24340 vsize=15151156 memory=796 CPUtime=0.39 cores=0,2,4,6
/proc/24343/task/24362/stat : 24362 (java) R 24340 24340 24272 0 -1 4202560 2134 0 0 0 39 0 0 0 20 0 15 0 445382966 15514783744 21036 33554432000 4194304 4196468 140730235567840 139862847993952 139863370720606 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24363] ppid=24340 vsize=15151156 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24363/stat : 24363 (java) S 24340 24340 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445382966 15514783744 21036 33554432000 4194304 4196468 140730235567840 139862846945888 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24364] ppid=24340 vsize=15151156 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24364/stat : 24364 (java) S 24340 24340 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382966 15514783744 21036 33554432000 4194304 4196468 140730235567840 139862845893424 139863386651266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 85592 KiB
[startup+1.51089 s]
/proc/loadavg: 4.62 6.17 7.50 14/238 24408
/proc/meminfo: memFree=31194316/32770624 swapFree=66997372/67108860
[pid=24340] ppid=24337 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24340/stat : 24340 (xcsp3-exec) S 24337 24340 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445382960 115843072 362 33554432000 4194304 5098028 140724243860208 140724243858312 139713327514236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22003712 140724243866491 140724243866733 140724243866733 140724243869642 0
/proc/24340/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/24343/stat : 24343 (java) S 24340 24340 24272 0 -1 1077944320 118809 0 0 0 206429 53 0 0 20 0 19 0 445382960 15789527040 51098 33554432000 4194304 4196468 140730235567840 140730235550384 139863386640119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
/proc/24343/statm: 3854865 51098 3526 1 0 3815965 0
[pid=24343/tid=24345] ppid=24340 vsize=15419460 memory=204392 CPUtime=0.91 cores=0,2,4,6
/proc/24343/task/24345/stat : 24345 (java) S 24340 24340 24272 0 -1 1077944384 10322 0 0 0 86 5 0 0 20 0 19 0 445382961 15789527040 51098 33554432000 4194304 4196468 140730235567840 139863390880896 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24346] ppid=24340 vsize=15419460 memory=204392 CPUtime=0.24 cores=0,2,4,6
/proc/24343/task/24346/stat : 24346 (java) S 24340 24340 24272 0 -1 1077944384 3846 0 0 0 21 3 0 0 20 0 19 0 445382962 15789527040 51098 33554432000 4194304 4196468 140730235567840 139863339260176 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24347] ppid=24340 vsize=15419460 memory=1448 CPUtime=0.23 cores=0,2,4,6
/proc/24343/task/24347/stat : 24347 (java) S 24340 24340 24272 0 -1 1077944384 4579 0 0 0 20 3 0 0 20 0 19 0 445382962 15789527040 51098 33554432000 4194304 4196468 140730235567840 139863338207632 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24348] ppid=24340 vsize=15419460 memory=6791534058613427641 CPUtime=0.23 cores=0,2,4,6
/proc/24343/task/24348/stat : 24348 (java) S 24340 24340 24272 0 -1 1077944384 3822 0 0 0 20 3 0 0 20 0 19 0 445382962 15789527040 51098 33554432000 4194304 4196468 140730235567840 139863337155088 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24349] ppid=24340 vsize=15419460 memory=1804 CPUtime=0.25 cores=0,2,4,6
/proc/24343/task/24349/stat : 24349 (java) S 24340 24340 24272 0 -1 1077944384 5829 0 0 0 22 3 0 0 20 0 19 0 445382962 15789527040 51098 33554432000 4194304 4196468 140730235567840 139863336102544 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24354] ppid=24340 vsize=15419460 memory=203368 CPUtime=0.36 cores=0,2,4,6
/proc/24343/task/24354/stat : 24354 (java) S 24340 24340 24272 0 -1 1077944384 6212 0 0 0 13 23 0 0 20 0 19 0 445382963 15789527040 51098 33554432000 4194304 4196468 140730235567840 139862854314480 139863386651266 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 96 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24357] ppid=24340 vsize=15419460 memory=56 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24357/stat : 24357 (java) S 24340 24340 24272 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 445382963 15789527040 51098 33554432000 4194304 4196468 140730235567840 139862853260768 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24358] ppid=24340 vsize=15419460 memory=202856 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24358/stat : 24358 (java) S 24340 24340 24272 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 445382964 15789527040 51098 33554432000 4194304 4196468 140730235567840 139862852208128 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24359] ppid=24340 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24359/stat : 24359 (java) S 24340 24340 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445382966 15789527040 51098 33554432000 4194304 4196468 140730235567840 139862851156688 139863386658715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24360] ppid=24340 vsize=15419460 memory=203880 CPUtime=3.2 cores=0,2,4,6
/proc/24343/task/24360/stat : 24360 (java) S 24340 24340 24272 0 -1 1077944384 21557 0 0 0 318 2 0 0 20 0 19 0 445382966 15789527040 51098 33554432000 4194304 4196468 140730235567840 139862850103280 139863386651266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 97 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24361] ppid=24340 vsize=15419460 memory=1448 CPUtime=3.32 cores=0,2,4,6
/proc/24343/task/24361/stat : 24361 (java) S 24340 24340 24272 0 -1 1077944384 22414 0 0 0 331 1 0 0 20 0 19 0 445382966 15789527040 51098 33554432000 4194304 4196468 140730235567840 139862849050736 139863386651266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 96 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24362] ppid=24340 vsize=15419460 memory=203880 CPUtime=0.88 cores=0,2,4,6
/proc/24343/task/24362/stat : 24362 (java) S 24340 24340 24272 0 -1 1077944384 12832 0 0 0 87 1 0 0 20 0 19 0 445382966 15789527040 51098 33554432000 4194304 4196468 140730235567840 139862847998192 139863386651266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 95 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24363] ppid=24340 vsize=15419460 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24363/stat : 24363 (java) S 24340 24340 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445382966 15789527040 51098 33554432000 4194304 4196468 140730235567840 139862846945888 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24364] ppid=24340 vsize=15419460 memory=1448 CPUtime=0.11 cores=0,2,4,6
/proc/24343/task/24364/stat : 24364 (java) S 24340 24340 24272 0 -1 1077944384 1878 0 0 0 0 11 0 0 20 0 19 0 445382966 15789527040 51098 33554432000 4194304 4196468 140730235567840 139862845893424 139863386651266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 94 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24594] ppid=24340 vsize=15419460 memory=203368 CPUtime=92.86 cores=0,2,4,6
/proc/24343/task/24594/stat : 24594 (java) R 24340 24340 24272 0 -1 4202560 697 0 0 0 9286 0 0 0 20 0 19 0 445425821 15789527040 51098 33554432000 4194304 4196468 140730235567840 139862834805800 139863017132636 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24595] ppid=24340 vsize=15419460 memory=1388 CPUtime=93.07 cores=0,2,4,6
/proc/24343/task/24595/stat : 24595 (java) R 24340 24340 24272 0 -1 4202560 817 0 0 0 9307 0 0 0 20 0 19 0 445425821 15789527040 51098 33554432000 4194304 4196468 140730235567840 139862833754176 139863019104702 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24596] ppid=24340 vsize=15419460 memory=1448 CPUtime=92.91 cores=0,2,4,6
/proc/24343/task/24596/stat : 24596 (java) R 24340 24340 24272 0 -1 4202560 1284 0 0 0 9291 0 0 0 20 0 19 0 445425821 15789527040 51098 33554432000 4194304 4196468 140730235567840 139862835862048 139863016678477 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24597] ppid=24340 vsize=15419460 memory=204392 CPUtime=93.03 cores=0,2,4,6
/proc/24343/task/24597/stat : 24597 (java) R 24340 24340 24272 0 -1 4202560 350 0 0 0 9303 0 0 0 20 0 19 0 445425821 15789527040 51098 33554432000 4194304 4196468 140730235567840 139862836911752 139863016907726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
Current children cumulated CPU time: 2064.82 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 205840 KiB
[startup+582.302 s]
/proc/loadavg: 7.80 7.91 7.87 9/238 24612
/proc/meminfo: memFree=29151364/32770624 swapFree=66997372/67108860
[pid=24340] ppid=24337 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24340/stat : 24340 (xcsp3-exec) S 24337 24340 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445382960 115843072 362 33554432000 4194304 5098028 140724243860208 140724243858312 139713327514236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22003712 140724243866491 140724243866733 140724243866733 140724243869642 0
/proc/24340/statm: 28282 362 304 221 0 87 0
[pid=24343] ppid=24340 vsize=15419460 memory=217436 CPUtime=2300.48 cores=0,2,4,6
/proc/24343/stat : 24343 (java) S 24340 24340 24272 0 -1 1077944320 121341 0 0 0 229976 72 0 0 20 0 19 0 445382960 15789527040 54359 33554432000 4194304 4196468 140730235567840 140730235550384 139863386640119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
/proc/24343/statm: 3854865 54359 3526 1 0 3815965 0
[pid=24343/tid=24345] ppid=24340 vsize=15419460 memory=215660 CPUtime=0.91 cores=0,2,4,6
/proc/24343/task/24345/stat : 24345 (java) S 24340 24340 24272 0 -1 1077944384 10374 0 0 0 86 5 0 0 20 0 19 0 445382961 15789527040 54359 33554432000 4194304 4196468 140730235567840 139863390880896 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24346] ppid=24340 vsize=15419460 memory=215660 CPUtime=0.32 cores=0,2,4,6
/proc/24343/task/24346/stat : 24346 (java) S 24340 24340 24272 0 -1 1077944384 3900 0 0 0 28 4 0 0 20 0 19 0 445382962 15789527040 54359 33554432000 4194304 4196468 140730235567840 139863339260176 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24347] ppid=24340 vsize=15419460 memory=215388 CPUtime=0.31 cores=0,2,4,6
/proc/24343/task/24347/stat : 24347 (java) S 24340 24340 24272 0 -1 1077944384 4858 0 0 0 27 4 0 0 20 0 19 0 445382962 15789527040 54359 33554432000 4194304 4196468 140730235567840 139863338207632 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24348] ppid=24340 vsize=15419460 memory=215660 CPUtime=0.31 cores=0,2,4,6
/proc/24343/task/24348/stat : 24348 (java) S 24340 24340 24272 0 -1 1077944384 4313 0 0 0 28 3 0 0 20 0 19 0 445382962 15789527040 54359 33554432000 4194304 4196468 140730235567840 139863337155088 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24349] ppid=24340 vsize=15419460 memory=1448 CPUtime=0.31 cores=0,2,4,6
/proc/24343/task/24349/stat : 24349 (java) S 24340 24340 24272 0 -1 1077944384 5861 0 0 0 28 3 0 0 20 0 19 0 445382962 15789527040 54359 33554432000 4194304 4196468 140730235567840 139863336102544 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24354] ppid=24340 vsize=15419460 memory=211564 CPUtime=0.59 cores=0,2,4,6
/proc/24343/task/24354/stat : 24354 (java) S 24340 24340 24272 0 -1 1077944384 6407 0 0 0 20 39 0 0 20 0 19 0 445382963 15789527040 54359 33554432000 4194304 4196468 140730235567840 139862854314480 139863386651266 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 96 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24357] ppid=24340 vsize=15419460 memory=26164 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24357/stat : 24357 (java) S 24340 24340 24272 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 445382963 15789527040 54359 33554432000 4194304 4196468 140730235567840 139862853260768 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24358] ppid=24340 vsize=15419460 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24358/stat : 24358 (java) S 24340 24340 24272 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 445382964 15789527040 54359 33554432000 4194304 4196468 140730235567840 139862852208128 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24359] ppid=24340 vsize=15419460 memory=211564 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24359/stat : 24359 (java) S 24340 24340 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445382966 15789527040 54359 33554432000 4194304 4196468 140730235567840 139862851156688 139863386658715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24360] ppid=24340 vsize=15419460 memory=1448 CPUtime=3.21 cores=0,2,4,6
/proc/24343/task/24360/stat : 24360 (java) S 24340 24340 24272 0 -1 1077944384 21891 0 0 0 319 2 0 0 20 0 19 0 445382966 15789527040 54359 33554432000 4194304 4196468 140730235567840 139862850103280 139863386651266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 97 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24361] ppid=24340 vsize=15419460 memory=1448 CPUtime=3.32 cores=0,2,4,6
/proc/24343/task/24361/stat : 24361 (java) S 24340 24340 24272 0 -1 1077944384 22663 0 0 0 331 1 0 0 20 0 19 0 445382966 15789527040 54359 33554432000 4194304 4196468 140730235567840 139862849050736 139863386651266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 96 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24362] ppid=24340 vsize=15419460 memory=213612 CPUtime=0.88 cores=0,2,4,6
/proc/24343/task/24362/stat : 24362 (java) S 24340 24340 24272 0 -1 1077944384 12922 0 0 0 87 1 0 0 20 0 19 0 445382966 15789527040 54359 33554432000 4194304 4196468 140730235567840 139862847998192 139863386651266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 95 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24363] ppid=24340 vsize=15419460 memory=776 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24363/stat : 24363 (java) S 24340 24340 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445382966 15789527040 54359 33554432000 4194304 4196468 140730235567840 139862846945888 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24364] ppid=24340 vsize=15419460 memory=3992 CPUtime=0.13 cores=0,2,4,6
/proc/24343/task/24364/stat : 24364 (java) S 24340 24340 24272 0 -1 1077944384 1893 0 0 0 0 13 0 0 20 0 19 0 445382966 15789527040 54359 33554432000 4194304 4196468 140730235567840 139862845893424 139863386651266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 94 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24609] ppid=24340 vsize=15419460 memory=3504 CPUtime=1.08 cores=0,2,4,6
/proc/24343/task/24609/stat : 24609 (java) R 24340 24340 24272 0 -1 4202560 21 0 0 0 108 0 0 0 20 0 19 0 445441081 15789527040 54359 33554432000 4194304 4196468 140730235567840 139862834804824 139863016189981 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24610] ppid=24340 vsize=15419460 memory=48196 CPUtime=1.07 cores=0,2,4,6
/proc/24343/task/24610/stat : 24610 (java) R 24340 24340 24272 0 -1 4202560 19 0 0 0 107 0 0 0 20 0 19 0 445441081 15789527040 54359 33554432000 4194304 4196468 140730235567840 139862835859040 139863019104992 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24611] ppid=24340 vsize=15419460 memory=6036 CPUtime=1.08 cores=0,2,4,6
/proc/24343/task/24611/stat : 24611 (java) R 24340 24340 24272 0 -1 4202560 20 0 0 0 108 0 0 0 20 0 19 0 445441081 15789527040 54359 33554432000 4194304 4196468 140730235567840 139862836914208 139863016678211 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24612] ppid=24340 vsize=15419460 memory=14008 CPUtime=1.06 cores=0,2,4,6
/proc/24343/task/24612/stat : 24612 (java) R 24340 24340 24272 0 -1 4202560 18 0 0 0 106 0 0 0 20 0 19 0 445441081 15789527040 54359 33554432000 4194304 4196468 140730235567840 139862833754328 139863016907520 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
Current children cumulated CPU time: 2300.48 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 218884 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+607.402 s]
/proc/loadavg: 8.04 7.95 7.88 9/238 24614
/proc/meminfo: memFree=29133176/32770624 swapFree=66997372/67108860
[pid=24340] ppid=24337 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24340/stat : 24340 (xcsp3-exec) S 24337 24340 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445382960 115843072 362 33554432000 4194304 5098028 140724243860208 140724243858312 139713327514236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22003712 140724243866491 140724243866733 140724243866733 140724243869642 0
/proc/24340/statm: 28282 362 304 221 0 87 0
[pid=24343] ppid=24340 vsize=15419460 memory=236144 CPUtime=2400.07 cores=0,2,4,6
/proc/24343/stat : 24343 (java) S 24340 24340 24272 0 -1 1077944320 123712 0 0 0 239926 81 0 0 20 0 19 0 445382960 15789527040 59036 33554432000 4194304 4196468 140730235567840 140730235550384 139863386640119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
/proc/24343/statm: 3854865 59036 3526 1 0 3815965 0
[pid=24343/tid=24345] ppid=24340 vsize=15419460 memory=6791534058613427641 CPUtime=0.91 cores=0,2,4,6
/proc/24343/task/24345/stat : 24345 (java) S 24340 24340 24272 0 -1 1077944384 10374 0 0 0 86 5 0 0 20 0 19 0 445382961 15789527040 59036 33554432000 4194304 4196468 140730235567840 139863390880896 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24346] ppid=24340 vsize=15419460 memory=12024 CPUtime=0.36 cores=0,2,4,6
/proc/24343/task/24346/stat : 24346 (java) S 24340 24340 24272 0 -1 1077944384 3930 0 0 0 32 4 0 0 20 0 19 0 445382962 15789527040 59036 33554432000 4194304 4196468 140730235567840 139863339260176 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24347] ppid=24340 vsize=15419460 memory=500 CPUtime=0.35 cores=0,2,4,6
/proc/24343/task/24347/stat : 24347 (java) S 24340 24340 24272 0 -1 1077944384 5022 0 0 0 31 4 0 0 20 0 19 0 445382962 15789527040 59036 33554432000 4194304 4196468 140730235567840 139863338207632 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24348] ppid=24340 vsize=15419460 memory=1560 CPUtime=0.34 cores=0,2,4,6
/proc/24343/task/24348/stat : 24348 (java) S 24340 24340 24272 0 -1 1077944384 4461 0 0 0 31 3 0 0 20 0 19 0 445382962 15789527040 59036 33554432000 4194304 4196468 140730235567840 139863337155088 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24349] ppid=24340 vsize=15419460 memory=932 CPUtime=0.35 cores=0,2,4,6
/proc/24343/task/24349/stat : 24349 (java) S 24340 24340 24272 0 -1 1077944384 6371 0 0 0 32 3 0 0 20 0 19 0 445382962 15789527040 59036 33554432000 4194304 4196468 140730235567840 139863336102544 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24354] ppid=24340 vsize=15419460 memory=3768 CPUtime=0.71 cores=0,2,4,6
/proc/24343/task/24354/stat : 24354 (java) S 24340 24340 24272 0 -1 1077944384 6598 0 0 0 23 48 0 0 20 0 19 0 445382963 15789527040 59036 33554432000 4194304 4196468 140730235567840 139862854314480 139863386651266 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 96 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24357] ppid=24340 vsize=15419460 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24357/stat : 24357 (java) S 24340 24340 24272 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 445382963 15789527040 59036 33554432000 4194304 4196468 140730235567840 139862853260768 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24358] ppid=24340 vsize=15419460 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24358/stat : 24358 (java) S 24340 24340 24272 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 445382964 15789527040 59036 33554432000 4194304 4196468 140730235567840 139862852208128 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24359] ppid=24340 vsize=15419460 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24359/stat : 24359 (java) S 24340 24340 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445382966 15789527040 59036 33554432000 4194304 4196468 140730235567840 139862851156688 139863386658715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24360] ppid=24340 vsize=15419460 memory=8560 CPUtime=3.26 cores=0,2,4,6
/proc/24343/task/24360/stat : 24360 (java) S 24340 24340 24272 0 -1 1077944384 21990 0 0 0 324 2 0 0 20 0 19 0 445382966 15789527040 59036 33554432000 4194304 4196468 140730235567840 139862850103280 139863386651266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 97 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24361] ppid=24340 vsize=15419460 memory=1668 CPUtime=3.34 cores=0,2,4,6
/proc/24343/task/24361/stat : 24361 (java) S 24340 24340 24272 0 -1 1077944384 22753 0 0 0 333 1 0 0 20 0 19 0 445382966 15789527040 59036 33554432000 4194304 4196468 140730235567840 139862849050736 139863386651266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 96 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24362] ppid=24340 vsize=15419460 memory=1112 CPUtime=0.89 cores=0,2,4,6
/proc/24343/task/24362/stat : 24362 (java) S 24340 24340 24272 0 -1 1077944384 13106 0 0 0 88 1 0 0 20 0 19 0 445382966 15789527040 59036 33554432000 4194304 4196468 140730235567840 139862847998192 139863386651266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 95 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24363] ppid=24340 vsize=15419460 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/24343/task/24363/stat : 24363 (java) S 24340 24340 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445382966 15789527040 59036 33554432000 4194304 4196468 140730235567840 139862846945888 139863386650325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24364] ppid=24340 vsize=15419460 memory=6036 CPUtime=0.13 cores=0,2,4,6
/proc/24343/task/24364/stat : 24364 (java) S 24340 24340 24272 0 -1 1077944384 1917 0 0 0 0 13 0 0 20 0 19 0 445382966 15789527040 59036 33554432000 4194304 4196468 140730235567840 139862845893424 139863386651266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 94 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24609] ppid=24340 vsize=15419460 memory=14008 CPUtime=25.82 cores=0,2,4,6
/proc/24343/task/24609/stat : 24609 (java) R 24340 24340 24272 0 -1 4202560 181 0 0 0 2582 0 0 0 20 0 19 0 445441081 15789527040 59036 33554432000 4194304 4196468 140730235567840 139862834805136 139863017132771 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24610] ppid=24340 vsize=15419460 memory=2124 CPUtime=25.94 cores=0,2,4,6
/proc/24343/task/24610/stat : 24610 (java) R 24340 24340 24272 0 -1 4202560 299 0 0 0 2594 0 0 0 20 0 19 0 445441081 15789527040 59036 33554432000 4194304 4196468 140730235567840 139862835862064 139863019104992 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24611] ppid=24340 vsize=15419460 memory=812 CPUtime=25.86 cores=0,2,4,6
/proc/24343/task/24611/stat : 24611 (java) R 24340 24340 24272 0 -1 4202560 299 0 0 0 2586 0 0 0 20 0 19 0 445441081 15789527040 59036 33554432000 4194304 4196468 140730235567840 139862836912216 139863017132968 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
[pid=24343/tid=24612] ppid=24340 vsize=15419460 memory=1764 CPUtime=25.9 cores=0,2,4,6
/proc/24343/task/24612/stat : 24612 (java) R 24340 24340 24272 0 -1 4202560 230 0 0 0 2590 0 0 0 20 0 19 0 445441081 15789527040 59036 33554432000 4194304 4196468 140730235567840 139862833753968 139863016248460 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140730235569135 140730235569306 140730235569306 140730235572175 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 237592 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+607.436 s]
# the end of solver process 24340 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001202 s, system=0.001202 s
[startup+607.477 s]
# the end of solver process 24343 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.54 s, system=0.821735 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 607.477
CPU time (s): 2400.36
CPU user time (s): 2399.54
CPU system time (s): 0.821735
CPU usage (%): 395.136
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 375316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.54
system time used= 0.821735
maximum resident set size= 377996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125425
page faults= 0
swaps= 0
block input operations= 0
block output operations= 896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20904
involuntary context switches= 39275
# summary of solver processes directly reported to runsolver:
# pid: 24340,24343
# total CPU time (s): 2400.36
# total CPU user time (s): 2399.54
# total CPU system time (s): 0.821735
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.68452 second user time and 6.67329 second system time
The end