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 (15014 MiB free)
memory of node 1: 16384 MiB (15432 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393197-1568319662/watcher-4393197-1568319662 -o /tmp/evaluation-result-4393197-1568319662/solver-4393197-1568319662 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14286 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 964414939 HOME/instance-4393197-1568319662.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Current StackSize limit: 8192 KiB
solver pid=21537, runsolver pid=21534
[startup+0.100123 s]*
/proc/loadavg: 8.53 8.60 8.37 7/232 21553
/proc/meminfo: memFree=31163172/32770624 swapFree=66920740/67108860
[pid=21537] ppid=21534 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21537/stat : 21537 (xcsp3-exec) S 21534 21537 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408222337 115843072 363 33554432000 4194304 5098028 140724942023776 140724942021880 140044033249916 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40058880 140724942025595 140724942025837 140724942025837 140724942028746 0
/proc/21537/statm: 28282 363 305 221 0 87 0
[pid=21539] ppid=21537 vsize=15144768 memory=28080 CPUtime=0.13 cores=1,3,5,7
/proc/21539/stat : 21539 (java) S 21537 21537 14254 0 -1 1077944320 5990 0 0 0 11 2 0 0 20 0 15 0 408222337 15508242432 7020 33554432000 4194304 4196468 140732401313328 140732401295872 140130254016247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
/proc/21539/statm: 3786192 7020 3119 1 0 3748377 0
[pid=21539/tid=21540] ppid=21537 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/21539/task/21540/stat : 21540 (java) R 21537 21537 14254 0 -1 4202560 3841 0 0 0 8 1 0 0 20 0 15 0 408222337 15508242432 7020 33554432000 4194304 4196468 140732401313328 140130258245424 140130254028182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21541] ppid=21537 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21541/stat : 21541 (java) S 21537 21537 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408222338 15508242432 7020 33554432000 4194304 4196468 140732401313328 140130221574928 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21542] ppid=21537 vsize=15144768 memory=3472750166613980832 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21542/stat : 21542 (java) S 21537 21537 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408222338 15508242432 7020 33554432000 4194304 4196468 140732401313328 140129845570448 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21543] ppid=21537 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21543/stat : 21543 (java) S 21537 21537 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408222338 15508242432 7020 33554432000 4194304 4196468 140732401313328 140129844517904 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21544] ppid=21537 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21544/stat : 21544 (java) S 21537 21537 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408222338 15508242432 7020 33554432000 4194304 4196468 140732401313328 140129843465360 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21545] ppid=21537 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21545/stat : 21545 (java) S 21537 21537 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408222339 15508242432 7020 33554432000 4194304 4196468 140732401313328 140129329477616 140130254027394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21546] ppid=21537 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21546/stat : 21546 (java) S 21537 21537 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408222340 15508242432 7020 33554432000 4194304 4196468 140732401313328 140129328423840 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21547] ppid=21537 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21547/stat : 21547 (java) S 21537 21537 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408222340 15508242432 7020 33554432000 4194304 4196468 140732401313328 140129327371248 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21548] ppid=21537 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21548/stat : 21548 (java) S 21537 21537 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408222342 15508242432 7020 33554432000 4194304 4196468 140732401313328 140129326319824 140130254034843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21549] ppid=21537 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21549/stat : 21549 (java) S 21537 21537 14254 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 408222342 15508242432 7020 33554432000 4194304 4196468 140732401313328 140129325267440 140130254027394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21550] ppid=21537 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21550/stat : 21550 (java) S 21537 21537 14254 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 408222342 15508242432 7020 33554432000 4194304 4196468 140732401313328 140129324214896 140130254027394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21551] ppid=21537 vsize=15144768 memory=140369625904768 CPUtime=0.02 cores=1,3,5,7
/proc/21539/task/21551/stat : 21551 (java) R 21537 21537 14254 0 -1 4202560 413 0 0 0 2 0 0 0 20 0 15 0 408222342 15508242432 7020 33554432000 4194304 4196468 140732401313328 140129323162352 140130238208866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21552] ppid=21537 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21552/stat : 21552 (java) S 21537 21537 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408222343 15508242432 7020 33554432000 4194304 4196468 140732401313328 140129322110048 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21553] ppid=21537 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21553/stat : 21553 (java) S 21537 21537 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408222343 15508242432 7020 33554432000 4194304 4196468 140732401313328 140129321056560 140130254027394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 29532 KiB
[startup+0.210573 s]*
/proc/loadavg: 8.53 8.60 8.37 8/232 21553
/proc/meminfo: memFree=31149768/32770624 swapFree=66920740/67108860
[pid=21537] ppid=21534 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21537/stat : 21537 (xcsp3-exec) S 21534 21537 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408222337 115843072 363 33554432000 4194304 5098028 140724942023776 140724942021880 140044033249916 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40058880 140724942025595 140724942025837 140724942025837 140724942028746 0
/proc/21537/statm: 28282 363 305 221 0 87 0
[pid=21539] ppid=21537 vsize=15144768 memory=39736 CPUtime=0.34 cores=1,3,5,7
/proc/21539/stat : 21539 (java) S 21537 21537 14254 0 -1 1077944320 9688 0 0 0 31 3 0 0 20 0 15 0 408222337 15508242432 9934 33554432000 4194304 4196468 140732401313328 140732401295872 140130254016247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
/proc/21539/statm: 3786192 9934 3306 1 0 3748377 0
[pid=21539/tid=21540] ppid=21537 vsize=15144768 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/21539/task/21540/stat : 21540 (java) R 21537 21537 14254 0 -1 4202560 6687 0 0 0 17 2 0 0 20 0 15 0 408222337 15508242432 9934 33554432000 4194304 4196468 140732401313328 140130258250304 140130254028182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21541] ppid=21537 vsize=15144768 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21541/stat : 21541 (java) S 21537 21537 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408222338 15508242432 9934 33554432000 4194304 4196468 140732401313328 140130221574928 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21542] ppid=21537 vsize=15144768 memory=140369628757955 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21542/stat : 21542 (java) S 21537 21537 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408222338 15508242432 9934 33554432000 4194304 4196468 140732401313328 140129845570448 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21543] ppid=21537 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21543/stat : 21543 (java) S 21537 21537 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408222338 15508242432 9934 33554432000 4194304 4196468 140732401313328 140129844517904 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21544] ppid=21537 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21544/stat : 21544 (java) S 21537 21537 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408222338 15508242432 9934 33554432000 4194304 4196468 140732401313328 140129843465360 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21545] ppid=21537 vsize=15144768 memory=140369625904768 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21545/stat : 21545 (java) S 21537 21537 14254 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408222339 15508242432 9934 33554432000 4194304 4196468 140732401313328 140129329477616 140130254027394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21546] ppid=21537 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21546/stat : 21546 (java) S 21537 21537 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408222340 15508242432 9934 33554432000 4194304 4196468 140732401313328 140129328423840 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21547] ppid=21537 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21547/stat : 21547 (java) S 21537 21537 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408222340 15508242432 9934 33554432000 4194304 4196468 140732401313328 140129327371248 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21548] ppid=21537 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21548/stat : 21548 (java) S 21537 21537 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408222342 15508242432 9934 33554432000 4194304 4196468 140732401313328 140129326319824 140130254034843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21549] ppid=21537 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21539/task/21549/stat : 21549 (java) S 21537 21537 14254 0 -1 1077944384 514 0 0 0 2 0 0 0 20 0 15 0 408222342 15508242432 9934 33554432000 4194304 4196468 140732401313328 140129325267440 140130254027394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21550] ppid=21537 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21539/task/21550/stat : 21550 (java) S 21537 21537 14254 0 -1 1077944384 270 0 0 0 2 0 0 0 20 0 15 0 408222342 15508242432 9934 33554432000 4194304 4196468 140732401313328 140129324214896 140130254027394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21551] ppid=21537 vsize=15144768 memory=140369625904768 CPUtime=0.08 cores=1,3,5,7
/proc/21539/task/21551/stat : 21551 (java) R 21537 21537 14254 0 -1 4202560 910 0 0 0 8 0 0 0 20 0 15 0 408222342 15508242432 9934 33554432000 4194304 4196468 140732401313328 140129323162352 140130254037594 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21552] ppid=21537 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21552/stat : 21552 (java) S 21537 21537 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408222343 15508242432 9934 33554432000 4194304 4196468 140732401313328 140129322110048 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21553] ppid=21537 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21553/stat : 21553 (java) S 21537 21537 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408222343 15508242432 9934 33554432000 4194304 4196468 140732401313328 140129321056560 140130254027394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41188 KiB
[startup+0.317124 s]*
/proc/loadavg: 8.53 8.60 8.37 8/232 21553
/proc/meminfo: memFree=31142364/32770624 swapFree=66920740/67108860
[pid=21537] ppid=21534 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21537/stat : 21537 (xcsp3-exec) S 21534 21537 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408222337 115843072 363 33554432000 4194304 5098028 140724942023776 140724942021880 140044033249916 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40058880 140724942025595 140724942025837 140724942025837 140724942028746 0
/proc/21537/statm: 28282 363 305 221 0 87 0
[pid=21539] ppid=21537 vsize=15149024 memory=49536 CPUtime=0.53 cores=1,3,5,7
/proc/21539/stat : 21539 (java) S 21537 21537 14254 0 -1 1077944320 11253 0 0 0 49 4 0 0 20 0 15 0 408222337 15512600576 12384 33554432000 4194304 4196468 140732401313328 140732401295872 140130254016247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
/proc/21539/statm: 3787256 12384 3368 1 0 3748377 0
[pid=21539/tid=21540] ppid=21537 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/21539/task/21540/stat : 21540 (java) R 21537 21537 14254 0 -1 4202560 7946 0 0 0 27 3 0 0 20 0 15 0 408222337 15512600576 12384 33554432000 4194304 4196468 140732401313328 140130258250784 140130238096734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21541] ppid=21537 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21541/stat : 21541 (java) S 21537 21537 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408222338 15512600576 12384 33554432000 4194304 4196468 140732401313328 140130221574928 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21542] ppid=21537 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21542/stat : 21542 (java) S 21537 21537 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408222338 15512600576 12384 33554432000 4194304 4196468 140732401313328 140129845570448 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21543] ppid=21537 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21543/stat : 21543 (java) S 21537 21537 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408222338 15512600576 12384 33554432000 4194304 4196468 140732401313328 140129844517904 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21544] ppid=21537 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21544/stat : 21544 (java) S 21537 21537 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408222338 15512600576 12384 33554432000 4194304 4196468 140732401313328 140129843465360 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21545] ppid=21537 vsize=15149024 memory=-7233513673208676511 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21545/stat : 21545 (java) S 21537 21537 14254 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408222339 15512600576 12384 33554432000 4194304 4196468 140732401313328 140129329477616 140130254027394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21546] ppid=21537 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21546/stat : 21546 (java) S 21537 21537 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408222340 15512600576 12384 33554432000 4194304 4196468 140732401313328 140129328423840 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21547] ppid=21537 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21547/stat : 21547 (java) S 21537 21537 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408222340 15512600576 12384 33554432000 4194304 4196468 140732401313328 140129327371248 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21548] ppid=21537 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21548/stat : 21548 (java) S 21537 21537 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408222342 15512600576 12449 33554432000 4194304 4196468 140732401313328 140129326319824 140130254034843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21549] ppid=21537 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/21539/task/21549/stat : 21549 (java) S 21537 21537 14254 0 -1 1077944384 563 0 0 0 4 0 0 0 20 0 15 0 408222342 15512600576 12449 33554432000 4194304 4196468 140732401313328 140129325267440 140130254027394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21550] ppid=21537 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/21539/task/21550/stat : 21550 (java) S 21537 21537 14254 0 -1 1077944384 369 0 0 0 5 0 0 0 20 0 15 0 408222342 15512600576 12449 33554432000 4194304 4196468 140732401313328 140129324214896 140130254027394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21551] ppid=21537 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21539/task/21551/stat : 21551 (java) S 21537 21537 14254 0 -1 1077944384 1070 0 0 0 12 0 0 0 20 0 15 0 408222342 15512600576 12449 33554432000 4194304 4196468 140732401313328 140129323162352 140130254027394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21552] ppid=21537 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21552/stat : 21552 (java) S 21537 21537 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408222343 15512600576 12449 33554432000 4194304 4196468 140732401313328 140129322110048 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21553] ppid=21537 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21553/stat : 21553 (java) S 21537 21537 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408222343 15512600576 12449 33554432000 4194304 4196468 140732401313328 140129321056560 140130254027394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50988 KiB
[startup+0.708125 s]
/proc/loadavg: 8.53 8.60 8.37 8/232 21553
/proc/meminfo: memFree=31115984/32770624 swapFree=66920740/67108860
[pid=21537] ppid=21534 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21537/stat : 21537 (xcsp3-exec) S 21534 21537 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408222337 115843072 363 33554432000 4194304 5098028 140724942023776 140724942021880 140044033249916 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40058880 140724942025595 140724942025837 140724942025837 140724942028746 0
/proc/21537/statm: 28282 363 305 221 0 87 0
[pid=21539] ppid=21537 vsize=15151148 memory=115120 CPUtime=1.74 cores=1,3,5,7
/proc/21539/stat : 21539 (java) S 21537 21537 14254 0 -1 1077944320 15871 0 0 0 167 7 0 0 20 0 15 0 408222337 15514775552 28780 33554432000 4194304 4196468 140732401313328 140732401295872 140130254016247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
/proc/21539/statm: 3787787 28780 3440 1 0 3748889 0
[pid=21539/tid=21540] ppid=21537 vsize=15151148 memory=-3704326594973231466 CPUtime=0.68 cores=1,3,5,7
/proc/21539/task/21540/stat : 21540 (java) R 21537 21537 14254 0 -1 4202560 9186 0 0 0 64 4 0 0 20 0 15 0 408222337 15514775552 28780 33554432000 4194304 4196468 140732401313328 140130258251160 140129890504768 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21541] ppid=21537 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21541/stat : 21541 (java) S 21537 21537 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408222338 15514775552 28780 33554432000 4194304 4196468 140732401313328 140130221574928 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21542] ppid=21537 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21542/stat : 21542 (java) S 21537 21537 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408222338 15514775552 28780 33554432000 4194304 4196468 140732401313328 140129845570448 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21543] ppid=21537 vsize=15151148 memory=708 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21543/stat : 21543 (java) S 21537 21537 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408222338 15514775552 28780 33554432000 4194304 4196468 140732401313328 140129844517904 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21544] ppid=21537 vsize=15151148 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21544/stat : 21544 (java) S 21537 21537 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408222338 15514775552 28780 33554432000 4194304 4196468 140732401313328 140129843465360 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21545] ppid=21537 vsize=15151148 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21545/stat : 21545 (java) S 21537 21537 14254 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408222339 15514775552 28780 33554432000 4194304 4196468 140732401313328 140129329477616 140130254027394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21546] ppid=21537 vsize=15151148 memory=776 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21546/stat : 21546 (java) S 21537 21537 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408222340 15514775552 28780 33554432000 4194304 4196468 140732401313328 140129328423840 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21547] ppid=21537 vsize=15151148 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21547/stat : 21547 (java) S 21537 21537 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408222340 15514775552 28780 33554432000 4194304 4196468 140732401313328 140129327371248 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21548] ppid=21537 vsize=15151148 memory=7956 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21548/stat : 21548 (java) S 21537 21537 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408222342 15514775552 28780 33554432000 4194304 4196468 140732401313328 140129326319824 140130254034843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21549] ppid=21537 vsize=15151148 memory=3444 CPUtime=0.35 cores=1,3,5,7
/proc/21539/task/21549/stat : 21549 (java) R 21537 21537 14254 0 -1 4202560 1666 0 0 0 34 1 0 0 20 0 15 0 408222342 15514775552 28780 33554432000 4194304 4196468 140732401313328 140129325254288 140130235196389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21550] ppid=21537 vsize=15151148 memory=1556 CPUtime=0.35 cores=1,3,5,7
/proc/21539/task/21550/stat : 21550 (java) R 21537 21537 14254 0 -1 4202560 1470 0 0 0 35 0 0 0 20 0 15 0 408222342 15514775552 28780 33554432000 4194304 4196468 140732401313328 140129324200776 140130235560447 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21551] ppid=21537 vsize=15151148 memory=2832 CPUtime=0.33 cores=1,3,5,7
/proc/21539/task/21551/stat : 21551 (java) R 21537 21537 14254 0 -1 4202560 2241 0 0 0 32 1 0 0 20 0 15 0 408222342 15514775552 28780 33554432000 4194304 4196468 140732401313328 140129323161536 140130237381476 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21552] ppid=21537 vsize=15151148 memory=984 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21552/stat : 21552 (java) S 21537 21537 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408222343 15514775552 28780 33554432000 4194304 4196468 140732401313328 140129322110048 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21553] ppid=21537 vsize=15151148 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21553/stat : 21553 (java) S 21537 21537 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408222343 15514775552 28780 33554432000 4194304 4196468 140732401313328 140129321056560 140130254027394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 116572 KiB
[startup+1.50076 s]
/proc/loadavg: 8.53 8.60 8.37 8/232 21553
/proc/meminfo: memFree=30987840/32770624 swapFree=66920740/67108860
[pid=21537] ppid=21534 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21537/stat : 21537 (xcsp3-exec) S 21534 21537 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408222337 115843072 363 33554432000 4194304 5098028 140724942023776 140724942021880 140044033249916 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40058880 140724942025595 140724942025837 140724942025837 140724942028746 0
/proc/21537/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/21539/task/21553/stat : 21553 (java) S 21537 21537 14254 0 -1 1077944384 1400 0 0 0 2 0 0 0 20 0 19 0 408222343 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129321056560 140130254027394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21600] ppid=21537 vsize=15420480 memory=14012 CPUtime=37.64 cores=1,3,5,7
/proc/21539/task/21600/stat : 21600 (java) S 21537 21537 14254 0 -1 1077944384 476 0 0 0 3764 0 0 0 20 0 19 0 408224489 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129308700592 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21601] ppid=21537 vsize=15420480 memory=5220 CPUtime=36.88 cores=1,3,5,7
/proc/21539/task/21601/stat : 21601 (java) S 21537 21537 14254 0 -1 1077944384 1780 0 0 0 3687 1 0 0 20 0 19 0 408224489 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129306596816 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21602] ppid=21537 vsize=15420480 memory=2120 CPUtime=37.4 cores=1,3,5,7
/proc/21539/task/21602/stat : 21602 (java) S 21537 21537 14254 0 -1 1077944384 1911 0 0 0 3740 0 0 0 20 0 19 0 408224489 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129305544272 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21603] ppid=21537 vsize=15420480 memory=12020 CPUtime=38.96 cores=1,3,5,7
/proc/21539/task/21603/stat : 21603 (java) R 21537 21537 14254 0 -1 4202560 1142 0 0 0 3896 0 0 0 20 0 19 0 408224489 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129307643296 140129900160415 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
Current children cumulated CPU time: 234.7 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 401624 KiB
[startup+62.4007 s]
/proc/loadavg: 8.71 8.64 8.40 6/237 21615
/proc/meminfo: memFree=30760916/32770624 swapFree=66920744/67108860
[pid=21537] ppid=21534 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21537/stat : 21537 (xcsp3-exec) S 21534 21537 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408222337 115843072 363 33554432000 4194304 5098028 140724942023776 140724942021880 140044033249916 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40058880 140724942025595 140724942025837 140724942025837 140724942028746 0
/proc/21537/statm: 28282 363 305 221 0 87 0
[pid=21539] ppid=21537 vsize=15420480 memory=400172 CPUtime=236.3 cores=1,3,5,7
/proc/21539/stat : 21539 (java) S 21537 21537 14254 0 -1 1077944320 68258 0 0 0 23601 29 0 0 20 0 19 0 408222337 15790571520 100043 33554432000 4194304 4196468 140732401313328 140732401295872 140130254016247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
/proc/21539/statm: 3855120 100043 3528 1 0 3816222 0
[pid=21539/tid=21540] ppid=21537 vsize=15420480 memory=6791534058613427641 CPUtime=1.26 cores=1,3,5,7
/proc/21539/task/21540/stat : 21540 (java) S 21537 21537 14254 0 -1 1077944384 9976 0 0 0 120 6 0 0 20 0 19 0 408222337 15790571520 100043 33554432000 4194304 4196468 140732401313328 140130258257024 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21541] ppid=21537 vsize=15420480 memory=1120 CPUtime=0.05 cores=1,3,5,7
/proc/21539/task/21541/stat : 21541 (java) S 21537 21537 14254 0 -1 1077944384 138 0 0 0 3 2 0 0 20 0 19 0 408222338 15790571520 100043 33554432000 4194304 4196468 140732401313328 140130221574928 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21542] ppid=21537 vsize=15420480 memory=776 CPUtime=0.05 cores=1,3,5,7
/proc/21539/task/21542/stat : 21542 (java) S 21537 21537 14254 0 -1 1077944384 308 0 0 0 2 3 0 0 20 0 19 0 408222338 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129845570448 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21543] ppid=21537 vsize=15420480 memory=1552 CPUtime=0.04 cores=1,3,5,7
/proc/21539/task/21543/stat : 21543 (java) S 21537 21537 14254 0 -1 1077944384 1374 0 0 0 2 2 0 0 20 0 19 0 408222338 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129844517904 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21544] ppid=21537 vsize=15420480 memory=7956 CPUtime=0.05 cores=1,3,5,7
/proc/21539/task/21544/stat : 21544 (java) S 21537 21537 14254 0 -1 1077944384 461 0 0 0 3 2 0 0 20 0 19 0 408222338 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129843465360 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21545] ppid=21537 vsize=15420480 memory=4096 CPUtime=0.01 cores=1,3,5,7
/proc/21539/task/21545/stat : 21545 (java) S 21537 21537 14254 0 -1 1077944384 872 0 0 0 1 0 0 0 20 0 19 0 408222339 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129329477616 140130254027394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21546] ppid=21537 vsize=15420480 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21546/stat : 21546 (java) S 21537 21537 14254 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 408222340 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129328423904 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21547] ppid=21537 vsize=15420480 memory=3344 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21547/stat : 21547 (java) S 21537 21537 14254 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 408222340 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129327371264 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21548] ppid=21537 vsize=15420480 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21548/stat : 21548 (java) S 21537 21537 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408222342 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129326319824 140130254034843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21549] ppid=21537 vsize=15420480 memory=338268 CPUtime=3.36 cores=1,3,5,7
/proc/21539/task/21549/stat : 21549 (java) S 21537 21537 14254 0 -1 1077944384 16489 0 0 0 333 3 0 0 20 0 19 0 408222342 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129325267440 140130254027394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 38 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21550] ppid=21537 vsize=15420480 memory=3444 CPUtime=2.87 cores=1,3,5,7
/proc/21539/task/21550/stat : 21550 (java) S 21537 21537 14254 0 -1 1077944384 13806 0 0 0 286 1 0 0 20 0 19 0 408222342 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129324214896 140130254027394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21551] ppid=21537 vsize=15420480 memory=1556 CPUtime=0.88 cores=1,3,5,7
/proc/21539/task/21551/stat : 21551 (java) S 21537 21537 14254 0 -1 1077944384 10852 0 0 0 86 2 0 0 20 0 19 0 408222342 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129323162352 140130254027394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21552] ppid=21537 vsize=15420480 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21552/stat : 21552 (java) S 21537 21537 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408222343 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129322110048 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21553] ppid=21537 vsize=15420480 memory=984 CPUtime=0.02 cores=1,3,5,7
/proc/21539/task/21553/stat : 21553 (java) S 21537 21537 14254 0 -1 1077944384 1407 0 0 0 2 0 0 0 20 0 19 0 408222343 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129321056560 140130254027394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21600] ppid=21537 vsize=15420480 memory=14012 CPUtime=37.64 cores=1,3,5,7
/proc/21539/task/21600/stat : 21600 (java) S 21537 21537 14254 0 -1 1077944384 476 0 0 0 3764 0 0 0 20 0 19 0 408224489 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129308700592 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21601] ppid=21537 vsize=15420480 memory=1452 CPUtime=36.88 cores=1,3,5,7
/proc/21539/task/21601/stat : 21601 (java) S 21537 21537 14254 0 -1 1077944384 1780 0 0 0 3687 1 0 0 20 0 19 0 408224489 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129306596816 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21602] ppid=21537 vsize=15420480 memory=400172 CPUtime=37.4 cores=1,3,5,7
/proc/21539/task/21602/stat : 21602 (java) S 21537 21537 14254 0 -1 1077944384 1911 0 0 0 3740 0 0 0 20 0 19 0 408224489 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129305544272 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21603] ppid=21537 vsize=15420480 memory=984 CPUtime=40.56 cores=1,3,5,7
/proc/21539/task/21603/stat : 21603 (java) R 21537 21537 14254 0 -1 4202560 1142 0 0 0 4056 0 0 0 20 0 19 0 408224489 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129307643296 140129900160846 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
Current children cumulated CPU time: 236.3 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 401624 KiB
[startup+63.2008 s]
/proc/loadavg: 8.41 8.58 8.38 6/237 21615
/proc/meminfo: memFree=30760916/32770624 swapFree=66920744/67108860
[pid=21537] ppid=21534 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21537/stat : 21537 (xcsp3-exec) S 21534 21537 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408222337 115843072 363 33554432000 4194304 5098028 140724942023776 140724942021880 140044033249916 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40058880 140724942025595 140724942025837 140724942025837 140724942028746 0
/proc/21537/statm: 28282 363 305 221 0 87 0
[pid=21539] ppid=21537 vsize=15420480 memory=400172 CPUtime=237.1 cores=1,3,5,7
/proc/21539/stat : 21539 (java) S 21537 21537 14254 0 -1 1077944320 68264 0 0 0 23681 29 0 0 20 0 19 0 408222337 15790571520 100043 33554432000 4194304 4196468 140732401313328 140732401295872 140130254016247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
/proc/21539/statm: 3855120 100043 3528 1 0 3816222 0
[pid=21539/tid=21540] ppid=21537 vsize=15420480 memory=232868831864964 CPUtime=1.26 cores=1,3,5,7
/proc/21539/task/21540/stat : 21540 (java) S 21537 21537 14254 0 -1 1077944384 9976 0 0 0 120 6 0 0 20 0 19 0 408222337 15790571520 100043 33554432000 4194304 4196468 140732401313328 140130258257024 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21541] ppid=21537 vsize=15420480 memory=5 CPUtime=0.05 cores=1,3,5,7
/proc/21539/task/21541/stat : 21541 (java) S 21537 21537 14254 0 -1 1077944384 138 0 0 0 3 2 0 0 20 0 19 0 408222338 15790571520 100043 33554432000 4194304 4196468 140732401313328 140130221574928 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21542] ppid=21537 vsize=15420480 memory=5 CPUtime=0.05 cores=1,3,5,7
/proc/21539/task/21542/stat : 21542 (java) S 21537 21537 14254 0 -1 1077944384 308 0 0 0 2 3 0 0 20 0 19 0 408222338 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129845570448 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21543] ppid=21537 vsize=15420480 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/21539/task/21543/stat : 21543 (java) S 21537 21537 14254 0 -1 1077944384 1374 0 0 0 2 2 0 0 20 0 19 0 408222338 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129844517904 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21544] ppid=21537 vsize=15420480 memory=6791534058613427641 CPUtime=0.05 cores=1,3,5,7
/proc/21539/task/21544/stat : 21544 (java) S 21537 21537 14254 0 -1 1077944384 461 0 0 0 3 2 0 0 20 0 19 0 408222338 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129843465360 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21545] ppid=21537 vsize=15420480 memory=16956 CPUtime=0.01 cores=1,3,5,7
/proc/21539/task/21545/stat : 21545 (java) S 21537 21537 14254 0 -1 1077944384 872 0 0 0 1 0 0 0 20 0 19 0 408222339 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129329477616 140130254027394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21546] ppid=21537 vsize=15420480 memory=988 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21546/stat : 21546 (java) S 21537 21537 14254 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 408222340 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129328423904 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21547] ppid=21537 vsize=15420480 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21547/stat : 21547 (java) S 21537 21537 14254 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 408222340 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129327371264 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21548] ppid=21537 vsize=15420480 memory=1284 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21548/stat : 21548 (java) S 21537 21537 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408222342 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129326319824 140130254034843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21549] ppid=21537 vsize=15420480 memory=1044 CPUtime=3.36 cores=1,3,5,7
/proc/21539/task/21549/stat : 21549 (java) S 21537 21537 14254 0 -1 1077944384 16489 0 0 0 333 3 0 0 20 0 19 0 408222342 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129325267440 140130254027394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 38 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21550] ppid=21537 vsize=15420480 memory=6791534058613427641 CPUtime=2.87 cores=1,3,5,7
/proc/21539/task/21550/stat : 21550 (java) S 21537 21537 14254 0 -1 1077944384 13806 0 0 0 286 1 0 0 20 0 19 0 408222342 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129324214896 140130254027394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21551] ppid=21537 vsize=15420480 memory=2120 CPUtime=0.88 cores=1,3,5,7
/proc/21539/task/21551/stat : 21551 (java) S 21537 21537 14254 0 -1 1077944384 10852 0 0 0 86 2 0 0 20 0 19 0 408222342 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129323162352 140130254027394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21552] ppid=21537 vsize=15420480 memory=12020 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21552/stat : 21552 (java) S 21537 21537 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408222343 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129322110048 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21553] ppid=21537 vsize=15420480 memory=496 CPUtime=0.02 cores=1,3,5,7
/proc/21539/task/21553/stat : 21553 (java) S 21537 21537 14254 0 -1 1077944384 1407 0 0 0 2 0 0 0 20 0 19 0 408222343 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129321056560 140130254027394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21600] ppid=21537 vsize=15420480 memory=1560 CPUtime=37.64 cores=1,3,5,7
/proc/21539/task/21600/stat : 21600 (java) S 21537 21537 14254 0 -1 1077944384 476 0 0 0 3764 0 0 0 20 0 19 0 408224489 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129308700592 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21601] ppid=21537 vsize=15420480 memory=928 CPUtime=36.88 cores=1,3,5,7
/proc/21539/task/21601/stat : 21601 (java) S 21537 21537 14254 0 -1 1077944384 1780 0 0 0 3687 1 0 0 20 0 19 0 408224489 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129306596816 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21602] ppid=21537 vsize=15420480 memory=1452 CPUtime=37.4 cores=1,3,5,7
/proc/21539/task/21602/stat : 21602 (java) S 21537 21537 14254 0 -1 1077944384 1911 0 0 0 3740 0 0 0 20 0 19 0 408224489 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129305544272 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21603] ppid=21537 vsize=15420480 memory=400172 CPUtime=41.36 cores=1,3,5,7
/proc/21539/task/21603/stat : 21603 (java) R 21537 21537 14254 0 -1 4202560 1148 0 0 0 4136 0 0 0 20 0 19 0 408224489 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129307643296 140129900160747 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
Current children cumulated CPU time: 237.1 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 401624 KiB
[startup+63.4007 s]
/proc/loadavg: 8.41 8.58 8.38 6/237 21615
/proc/meminfo: memFree=30760916/32770624 swapFree=66920744/67108860
[pid=21537] ppid=21534 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21537/stat : 21537 (xcsp3-exec) S 21534 21537 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408222337 115843072 363 33554432000 4194304 5098028 140724942023776 140724942021880 140044033249916 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40058880 140724942025595 140724942025837 140724942025837 140724942028746 0
/proc/21537/statm: 28282 363 305 221 0 87 0
[pid=21539] ppid=21537 vsize=15420480 memory=400172 CPUtime=237.3 cores=1,3,5,7
/proc/21539/stat : 21539 (java) S 21537 21537 14254 0 -1 1077944320 68264 0 0 0 23701 29 0 0 20 0 19 0 408222337 15790571520 100043 33554432000 4194304 4196468 140732401313328 140732401295872 140130254016247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
/proc/21539/statm: 3855120 100043 3528 1 0 3816222 0
[pid=21539/tid=21540] ppid=21537 vsize=15420480 memory=2832 CPUtime=1.26 cores=1,3,5,7
/proc/21539/task/21540/stat : 21540 (java) S 21537 21537 14254 0 -1 1077944384 9976 0 0 0 120 6 0 0 20 0 19 0 408222337 15790571520 100043 33554432000 4194304 4196468 140732401313328 140130258257024 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21541] ppid=21537 vsize=15420480 memory=984 CPUtime=0.05 cores=1,3,5,7
/proc/21539/task/21541/stat : 21541 (java) S 21537 21537 14254 0 -1 1077944384 138 0 0 0 3 2 0 0 20 0 19 0 408222338 15790571520 100043 33554432000 4194304 4196468 140732401313328 140130221574928 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21542] ppid=21537 vsize=15420480 memory=14012 CPUtime=0.05 cores=1,3,5,7
/proc/21539/task/21542/stat : 21542 (java) S 21537 21537 14254 0 -1 1077944384 308 0 0 0 2 3 0 0 20 0 19 0 408222338 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129845570448 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21543] ppid=21537 vsize=15420480 memory=5220 CPUtime=0.04 cores=1,3,5,7
/proc/21539/task/21543/stat : 21543 (java) S 21537 21537 14254 0 -1 1077944384 1374 0 0 0 2 2 0 0 20 0 19 0 408222338 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129844517904 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21544] ppid=21537 vsize=15420480 memory=2832 CPUtime=0.05 cores=1,3,5,7
/proc/21539/task/21544/stat : 21544 (java) S 21537 21537 14254 0 -1 1077944384 461 0 0 0 3 2 0 0 20 0 19 0 408222338 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129843465360 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21545] ppid=21537 vsize=15420480 memory=984 CPUtime=0.01 cores=1,3,5,7
/proc/21539/task/21545/stat : 21545 (java) S 21537 21537 14254 0 -1 1077944384 872 0 0 0 1 0 0 0 20 0 19 0 408222339 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129329477616 140130254027394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21546] ppid=21537 vsize=15420480 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21546/stat : 21546 (java) S 21537 21537 14254 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 408222340 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129328423904 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21547] ppid=21537 vsize=15420480 memory=5220 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21547/stat : 21547 (java) S 21537 21537 14254 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 408222340 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129327371264 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21548] ppid=21537 vsize=15420480 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21548/stat : 21548 (java) S 21537 21537 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408222342 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129326319824 140130254034843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21549] ppid=21537 vsize=15420480 memory=12020 CPUtime=3.36 cores=1,3,5,7
/proc/21539/task/21549/stat : 21549 (java) S 21537 21537 14254 0 -1 1077944384 16489 0 0 0 333 3 0 0 20 0 19 0 408222342 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129325267440 140130254027394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21550] ppid=21537 vsize=15420480 memory=496 CPUtime=2.87 cores=1,3,5,7
/proc/21539/task/21550/stat : 21550 (java) S 21537 21537 14254 0 -1 1077944384 13806 0 0 0 286 1 0 0 20 0 19 0 408222342 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129324214896 140130254027394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21551] ppid=21537 vsize=15420480 memory=1560 CPUtime=0.88 cores=1,3,5,7
/proc/21539/task/21551/stat : 21551 (java) S 21537 21537 14254 0 -1 1077944384 10852 0 0 0 86 2 0 0 20 0 19 0 408222342 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129323162352 140130254027394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21552] ppid=21537 vsize=15420480 memory=928 CPUtime=0 cores=1,3,5,7
/proc/21539/task/21552/stat : 21552 (java) S 21537 21537 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408222343 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129322110048 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21553] ppid=21537 vsize=15420480 memory=1680 CPUtime=0.02 cores=1,3,5,7
/proc/21539/task/21553/stat : 21553 (java) S 21537 21537 14254 0 -1 1077944384 1407 0 0 0 2 0 0 0 20 0 19 0 408222343 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129321056560 140130254027394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21600] ppid=21537 vsize=15420480 memory=1444 CPUtime=37.64 cores=1,3,5,7
/proc/21539/task/21600/stat : 21600 (java) S 21537 21537 14254 0 -1 1077944384 476 0 0 0 3764 0 0 0 20 0 19 0 408224489 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129308700592 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21601] ppid=21537 vsize=15420480 memory=280738927512960 CPUtime=36.88 cores=1,3,5,7
/proc/21539/task/21601/stat : 21601 (java) S 21537 21537 14254 0 -1 1077944384 1780 0 0 0 3687 1 0 0 20 0 19 0 408224489 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129306596816 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21602] ppid=21537 vsize=15420480 memory=0 CPUtime=37.4 cores=1,3,5,7
/proc/21539/task/21602/stat : 21602 (java) S 21537 21537 14254 0 -1 1077944384 1911 0 0 0 3740 0 0 0 20 0 19 0 408224489 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129305544272 140130254026453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
[pid=21539/tid=21603] ppid=21537 vsize=15420480 memory=0 CPUtime=41.56 cores=1,3,5,7
/proc/21539/task/21603/stat : 21603 (java) R 21537 21537 14254 0 -1 4202560 1148 0 0 0 4156 0 0 0 20 0 19 0 408224489 15790571520 100043 33554432000 4194304 4196468 140732401313328 140129307643296 140129900160846 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31322112 140732401316847 140732401317018 140732401317018 140732401319887 0
Current children cumulated CPU time: 237.3 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 401624 KiB
Child status: 0
Real time (s): 63.4129
CPU time (s): 237.328
CPU user time (s): 237.028
CPU system time (s): 0.299829
CPU usage (%): 374.258
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 401624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 237.028
system time used= 0.299829
maximum resident set size= 400476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69534
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5016
involuntary context switches= 3861
# summary of solver processes directly reported to runsolver:
# pid: 21537
# total CPU time (s): 237.328
# total CPU user time (s): 237.028
# total CPU system time (s): 0.299829
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.435506 second user time and 0.764179 second system time
The end