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 (15011 MiB free)
memory of node 1: 16384 MiB (15431 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393268-1568320144/watcher-4393268-1568320144 -o /tmp/evaluation-result-4393268-1568320144/solver-4393268-1568320144 -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 567073253 HOME/instance-4393268-1568320144.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=23670, runsolver pid=23667
[startup+0.100546 s]*
/proc/loadavg: 6.93 8.17 8.32 7/232 23686
/proc/meminfo: memFree=31154652/32770624 swapFree=66920748/67108860
[pid=23670] ppid=23667 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23670/stat : 23670 (xcsp3-exec) S 23667 23670 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408270514 115843072 362 33554432000 4194304 5098028 140729464443216 140729464441320 139966894817916 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8163328 140729464451963 140729464452205 140729464452205 140729464455114 0
/proc/23670/statm: 28282 362 304 221 0 87 0
[pid=23672] ppid=23670 vsize=15144768 memory=29616 CPUtime=0.13 cores=1,3,5,7
/proc/23672/stat : 23672 (java) S 23670 23670 14254 0 -1 1077944320 5859 0 0 0 12 1 0 0 20 0 15 0 408270514 15508242432 7404 33554432000 4194304 4196468 140725692702768 140725692685312 139911664250615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
/proc/23672/statm: 3786192 7404 3148 1 0 3748377 0
[pid=23672/tid=23673] ppid=23670 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/23672/task/23673/stat : 23673 (java) R 23670 23670 14254 0 -1 4202560 3731 0 0 0 9 0 0 0 20 0 15 0 408270515 15508242432 7404 33554432000 4194304 4196468 140725692702768 139911668473312 139911656487742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23674] ppid=23670 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23674/stat : 23674 (java) S 23670 23670 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270515 15508242432 7404 33554432000 4194304 4196468 140725692702768 139911592291472 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23675] ppid=23670 vsize=15144768 memory=3472750013145745056 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23675/stat : 23675 (java) S 23670 23670 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270515 15508242432 7404 33554432000 4194304 4196468 140725692702768 139911591238672 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23676] ppid=23670 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23676/stat : 23676 (java) S 23670 23670 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270515 15508242432 7404 33554432000 4194304 4196468 140725692702768 139911590185872 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23677] ppid=23670 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23677/stat : 23677 (java) S 23670 23670 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408270515 15508242432 7404 33554432000 4194304 4196468 140725692702768 139911589133072 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23678] ppid=23670 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23678/stat : 23678 (java) S 23670 23670 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408270517 15508242432 7404 33554432000 4194304 4196468 140725692702768 139911132363120 139911664261762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23679] ppid=23670 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23679/stat : 23679 (java) S 23670 23670 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408270517 15508242432 7404 33554432000 4194304 4196468 140725692702768 139911131309088 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23680] ppid=23670 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23680/stat : 23680 (java) S 23670 23670 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408270517 15508242432 7404 33554432000 4194304 4196468 140725692702768 139911130256240 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23681] ppid=23670 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23681/stat : 23681 (java) S 23670 23670 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408270520 15508242432 7404 33554432000 4194304 4196468 140725692702768 139911129204560 139911664269211 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23682] ppid=23670 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23682/stat : 23682 (java) S 23670 23670 14254 0 -1 1077944384 456 0 0 0 0 0 0 0 20 0 15 0 408270520 15508242432 7404 33554432000 4194304 4196468 140725692702768 139911128152944 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23683] ppid=23670 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23683/stat : 23683 (java) S 23670 23670 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408270520 15508242432 7404 33554432000 4194304 4196468 140725692702768 139911127100144 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23684] ppid=23670 vsize=15144768 memory=140216157668992 CPUtime=0.02 cores=1,3,5,7
/proc/23672/task/23684/stat : 23684 (java) R 23670 23670 14254 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 15 0 408270520 15508242432 7404 33554432000 4194304 4196468 140725692702768 139911126047344 139911664264464 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23685] ppid=23670 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23685/stat : 23685 (java) S 23670 23670 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408270520 15508242432 7404 33554432000 4194304 4196468 140725692702768 139911124994784 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23686] ppid=23670 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23686/stat : 23686 (java) S 23670 23670 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270520 15508242432 7404 33554432000 4194304 4196468 140725692702768 139911123942064 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31064 KiB
[startup+0.210678 s]*
/proc/loadavg: 6.93 8.17 8.32 6/232 23686
/proc/meminfo: memFree=31139736/32770624 swapFree=66920748/67108860
[pid=23670] ppid=23667 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23670/stat : 23670 (xcsp3-exec) S 23667 23670 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408270514 115843072 362 33554432000 4194304 5098028 140729464443216 140729464441320 139966894817916 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8163328 140729464451963 140729464452205 140729464452205 140729464455114 0
/proc/23670/statm: 28282 362 304 221 0 87 0
[pid=23672] ppid=23670 vsize=15144768 memory=40944 CPUtime=0.35 cores=1,3,5,7
/proc/23672/stat : 23672 (java) S 23670 23670 14254 0 -1 1077944320 9489 0 0 0 32 3 0 0 20 0 15 0 408270514 15508242432 10236 33554432000 4194304 4196468 140725692702768 140725692685312 139911664250615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
/proc/23672/statm: 3786192 10236 3306 1 0 3748377 0
[pid=23672/tid=23673] ppid=23670 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/23672/task/23673/stat : 23673 (java) R 23670 23670 14254 0 -1 4202560 6652 0 0 0 18 2 0 0 20 0 15 0 408270515 15508242432 10299 33554432000 4194304 4196468 140725692702768 139911668487464 139911648331102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23674] ppid=23670 vsize=15144768 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23674/stat : 23674 (java) S 23670 23670 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270515 15508242432 10299 33554432000 4194304 4196468 140725692702768 139911592291472 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23675] ppid=23670 vsize=15144768 memory=140216160522179 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23675/stat : 23675 (java) S 23670 23670 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270515 15508242432 10299 33554432000 4194304 4196468 140725692702768 139911591238672 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23676] ppid=23670 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23676/stat : 23676 (java) S 23670 23670 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270515 15508242432 10299 33554432000 4194304 4196468 140725692702768 139911590185872 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23677] ppid=23670 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23677/stat : 23677 (java) S 23670 23670 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408270515 15508242432 10299 33554432000 4194304 4196468 140725692702768 139911589133072 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23678] ppid=23670 vsize=15144768 memory=140216157668992 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23678/stat : 23678 (java) S 23670 23670 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408270517 15508242432 10299 33554432000 4194304 4196468 140725692702768 139911132363120 139911664261762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23679] ppid=23670 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23679/stat : 23679 (java) S 23670 23670 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408270517 15508242432 10299 33554432000 4194304 4196468 140725692702768 139911131309088 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23680] ppid=23670 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23680/stat : 23680 (java) S 23670 23670 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408270517 15508242432 10299 33554432000 4194304 4196468 140725692702768 139911130256240 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23681] ppid=23670 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23681/stat : 23681 (java) S 23670 23670 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408270520 15508242432 10299 33554432000 4194304 4196468 140725692702768 139911129204560 139911664269211 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23682] ppid=23670 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23672/task/23682/stat : 23682 (java) S 23670 23670 14254 0 -1 1077944384 509 0 0 0 2 0 0 0 20 0 15 0 408270520 15508242432 10299 33554432000 4194304 4196468 140725692702768 139911128152944 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23683] ppid=23670 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23672/task/23683/stat : 23683 (java) S 23670 23670 14254 0 -1 1077944384 266 0 0 0 2 0 0 0 20 0 15 0 408270520 15508242432 10299 33554432000 4194304 4196468 140725692702768 139911127100144 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23684] ppid=23670 vsize=15144768 memory=140216157668992 CPUtime=0.08 cores=1,3,5,7
/proc/23672/task/23684/stat : 23684 (java) S 23670 23670 14254 0 -1 1077944384 761 0 0 0 8 0 0 0 20 0 15 0 408270520 15508242432 10299 33554432000 4194304 4196468 140725692702768 139911126047344 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23685] ppid=23670 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23685/stat : 23685 (java) S 23670 23670 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408270520 15508242432 10299 33554432000 4194304 4196468 140725692702768 139911124994784 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23686] ppid=23670 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23686/stat : 23686 (java) S 23670 23670 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270520 15508242432 10299 33554432000 4194304 4196468 140725692702768 139911123942064 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42392 KiB
[startup+0.31048 s]*
/proc/loadavg: 6.93 8.17 8.32 7/232 23686
/proc/meminfo: memFree=31131136/32770624 swapFree=66920748/67108860
[pid=23670] ppid=23667 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23670/stat : 23670 (xcsp3-exec) S 23667 23670 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408270514 115843072 362 33554432000 4194304 5098028 140729464443216 140729464441320 139966894817916 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8163328 140729464451963 140729464452205 140729464452205 140729464455114 0
/proc/23670/statm: 28282 362 304 221 0 87 0
[pid=23672] ppid=23670 vsize=15149024 memory=50192 CPUtime=0.53 cores=1,3,5,7
/proc/23672/stat : 23672 (java) S 23670 23670 14254 0 -1 1077944320 10930 0 0 0 49 4 0 0 20 0 15 0 408270514 15512600576 12548 33554432000 4194304 4196468 140725692702768 140725692685312 139911664250615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
/proc/23672/statm: 3787256 12548 3365 1 0 3748377 0
[pid=23672/tid=23673] ppid=23670 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/23672/task/23673/stat : 23673 (java) R 23670 23670 14254 0 -1 4202560 7858 0 0 0 27 3 0 0 20 0 15 0 408270515 15512600576 12548 33554432000 4194304 4196468 140725692702768 139911668482192 139911664272541 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23674] ppid=23670 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23674/stat : 23674 (java) S 23670 23670 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270515 15512600576 12548 33554432000 4194304 4196468 140725692702768 139911592291472 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23675] ppid=23670 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23675/stat : 23675 (java) S 23670 23670 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270515 15512600576 12548 33554432000 4194304 4196468 140725692702768 139911591238672 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23676] ppid=23670 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23676/stat : 23676 (java) S 23670 23670 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270515 15512600576 12548 33554432000 4194304 4196468 140725692702768 139911590185872 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23677] ppid=23670 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23677/stat : 23677 (java) S 23670 23670 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408270515 15512600576 12548 33554432000 4194304 4196468 140725692702768 139911589133072 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23678] ppid=23670 vsize=15149024 memory=-7233513673208676511 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23678/stat : 23678 (java) S 23670 23670 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408270517 15512600576 12548 33554432000 4194304 4196468 140725692702768 139911132363120 139911664261762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23679] ppid=23670 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23679/stat : 23679 (java) S 23670 23670 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408270517 15512600576 12548 33554432000 4194304 4196468 140725692702768 139911131309088 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23680] ppid=23670 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23680/stat : 23680 (java) S 23670 23670 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408270517 15512600576 12548 33554432000 4194304 4196468 140725692702768 139911130256240 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23681] ppid=23670 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23681/stat : 23681 (java) S 23670 23670 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408270520 15512600576 12548 33554432000 4194304 4196468 140725692702768 139911129204560 139911664269211 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23682] ppid=23670 vsize=15149024 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/23672/task/23682/stat : 23682 (java) S 23670 23670 14254 0 -1 1077944384 644 0 0 0 5 0 0 0 20 0 15 0 408270520 15512600576 12548 33554432000 4194304 4196468 140725692702768 139911128152944 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23683] ppid=23670 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23672/task/23683/stat : 23683 (java) S 23670 23670 14254 0 -1 1077944384 278 0 0 0 4 0 0 0 20 0 15 0 408270520 15512600576 12548 33554432000 4194304 4196468 140725692702768 139911127100144 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23684] ppid=23670 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23672/task/23684/stat : 23684 (java) S 23670 23670 14254 0 -1 1077944384 846 0 0 0 12 0 0 0 20 0 15 0 408270520 15512600576 12548 33554432000 4194304 4196468 140725692702768 139911126047344 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23685] ppid=23670 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23685/stat : 23685 (java) S 23670 23670 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408270520 15512600576 12548 33554432000 4194304 4196468 140725692702768 139911124994784 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23686] ppid=23670 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23686/stat : 23686 (java) S 23670 23670 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270520 15512600576 12548 33554432000 4194304 4196468 140725692702768 139911123942064 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51640 KiB
[startup+0.701685 s]
/proc/loadavg: 6.93 8.17 8.32 6/232 23686
/proc/meminfo: memFree=31107752/32770624 swapFree=66920748/67108860
[pid=23670] ppid=23667 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23670/stat : 23670 (xcsp3-exec) S 23667 23670 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408270514 115843072 362 33554432000 4194304 5098028 140729464443216 140729464441320 139966894817916 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8163328 140729464451963 140729464452205 140729464452205 140729464455114 0
/proc/23670/statm: 28282 362 304 221 0 87 0
[pid=23672] ppid=23670 vsize=15151148 memory=96736 CPUtime=1.67 cores=1,3,5,7
/proc/23672/stat : 23672 (java) S 23670 23670 14254 0 -1 1077944320 15332 0 0 0 160 7 0 0 20 0 15 0 408270514 15514775552 24184 33554432000 4194304 4196468 140725692702768 140725692685312 139911664250615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
/proc/23672/statm: 3787787 24184 3449 1 0 3748889 0
[pid=23672/tid=23673] ppid=23670 vsize=15151148 memory=-3704326594973231466 CPUtime=0.67 cores=1,3,5,7
/proc/23672/task/23673/stat : 23673 (java) R 23670 23670 14254 0 -1 4202560 9341 0 0 0 63 4 0 0 20 0 15 0 408270515 15514775552 24184 33554432000 4194304 4196468 140725692702768 139911668484576 139911648565852 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23674] ppid=23670 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23674/stat : 23674 (java) S 23670 23670 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270515 15514775552 24184 33554432000 4194304 4196468 140725692702768 139911592291472 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23675] ppid=23670 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23675/stat : 23675 (java) S 23670 23670 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270515 15514775552 24184 33554432000 4194304 4196468 140725692702768 139911591238672 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23676] ppid=23670 vsize=15151148 memory=708 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23676/stat : 23676 (java) S 23670 23670 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270515 15514775552 24184 33554432000 4194304 4196468 140725692702768 139911590185872 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23677] ppid=23670 vsize=15151148 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23677/stat : 23677 (java) S 23670 23670 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408270515 15514775552 24184 33554432000 4194304 4196468 140725692702768 139911589133072 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23678] ppid=23670 vsize=15151148 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23678/stat : 23678 (java) S 23670 23670 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408270517 15514775552 24184 33554432000 4194304 4196468 140725692702768 139911132363120 139911664261762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23679] ppid=23670 vsize=15151148 memory=776 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23679/stat : 23679 (java) S 23670 23670 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408270517 15514775552 24184 33554432000 4194304 4196468 140725692702768 139911131309088 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23680] ppid=23670 vsize=15151148 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23680/stat : 23680 (java) S 23670 23670 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408270517 15514775552 24184 33554432000 4194304 4196468 140725692702768 139911130256240 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23681] ppid=23670 vsize=15151148 memory=7956 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23681/stat : 23681 (java) S 23670 23670 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408270520 15514775552 24184 33554432000 4194304 4196468 140725692702768 139911129204560 139911664269211 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23682] ppid=23670 vsize=15151148 memory=3444 CPUtime=0.29 cores=1,3,5,7
/proc/23672/task/23682/stat : 23682 (java) R 23670 23670 14254 0 -1 4202560 1280 0 0 0 29 0 0 0 20 0 15 0 408270520 15514775552 24184 33554432000 4194304 4196468 140725692702768 139911128141056 139911647747449 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23683] ppid=23670 vsize=15151148 memory=1556 CPUtime=0.26 cores=1,3,5,7
/proc/23672/task/23683/stat : 23683 (java) R 23670 23670 14254 0 -1 4202560 1156 0 0 0 26 0 0 0 20 0 15 0 408270520 15514775552 24184 33554432000 4194304 4196468 140725692702768 139911127077408 139911649147211 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23684] ppid=23670 vsize=15151148 memory=2832 CPUtime=0.42 cores=1,3,5,7
/proc/23672/task/23684/stat : 23684 (java) R 23670 23670 14254 0 -1 4202560 2249 0 0 0 42 0 0 0 20 0 15 0 408270520 15514775552 24184 33554432000 4194304 4196468 140725692702768 139911126047344 139911664271962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23685] ppid=23670 vsize=15151148 memory=984 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23685/stat : 23685 (java) S 23670 23670 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408270520 15514775552 24184 33554432000 4194304 4196468 140725692702768 139911124994784 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23686] ppid=23670 vsize=15151148 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23686/stat : 23686 (java) S 23670 23670 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408270520 15514775552 24184 33554432000 4194304 4196468 140725692702768 139911123942064 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 98184 KiB
[startup+1.50079 s]
/proc/loadavg: 6.93 8.17 8.32 11/235 23717
/proc/meminfo: memFree=30979792/32770624 swapFree=66920748/67108860
[pid=23670] ppid=23667 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23670/stat : 23670 (xcsp3-exec) S 23667 23670 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408270514 115843072 362 33554432000 4194304 5098028 140729464443216 140729464441320 139966894817916 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8163328 140729464451963 140729464452205 140729464452205 140729464455114 0
/proc/23670/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/23672/task/23682/stat : 23682 (java) S 23670 23670 14254 0 -1 1077944384 3766 0 0 0 243 1 0 0 20 0 19 0 408270520 15790571520 60077 33554432000 4194304 4196468 140725692702768 139911128152944 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23683] ppid=23670 vsize=15420480 memory=0 CPUtime=2.53 cores=1,3,5,7
/proc/23672/task/23683/stat : 23683 (java) S 23670 23670 14254 0 -1 1077944384 4639 0 0 0 253 0 0 0 20 0 19 0 408270520 15790571520 60077 33554432000 4194304 4196468 140725692702768 139911127100144 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23684] ppid=23670 vsize=15420480 memory=0 CPUtime=0.8 cores=1,3,5,7
/proc/23672/task/23684/stat : 23684 (java) S 23670 23670 14254 0 -1 1077944384 4023 0 0 0 79 1 0 0 20 0 19 0 408270520 15790571520 60077 33554432000 4194304 4196468 140725692702768 139911126047344 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23685] ppid=23670 vsize=15420480 memory=304274648164728858 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23685/stat : 23685 (java) S 23670 23670 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408270520 15790571520 60077 33554432000 4194304 4196468 140725692702768 139911124994784 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23686] ppid=23670 vsize=15420480 memory=5859271421085237344 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23686/stat : 23686 (java) S 23670 23670 14254 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 19 0 408270520 15790571520 60077 33554432000 4194304 4196468 140725692702768 139911123942064 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23743] ppid=23670 vsize=15420480 memory=0 CPUtime=0.96 cores=1,3,5,7
/proc/23672/task/23743/stat : 23743 (java) R 23670 23670 14254 0 -1 4202560 36 0 0 0 96 0 0 0 20 0 19 0 408271037 15790571520 60077 33554432000 4194304 4196468 140725692702768 139911111810504 139911266773672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23744] ppid=23670 vsize=15420480 memory=2241 CPUtime=0.88 cores=1,3,5,7
/proc/23672/task/23744/stat : 23744 (java) R 23670 23670 14254 0 -1 4202560 35 0 0 0 88 0 0 0 20 0 19 0 408271037 15790571520 60077 33554432000 4194304 4196468 140725692702768 139911112863896 139911268443240 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23745] ppid=23670 vsize=15420480 memory=0 CPUtime=0.9 cores=1,3,5,7
/proc/23672/task/23745/stat : 23745 (java) R 23670 23670 14254 0 -1 4202560 19 0 0 0 90 0 0 0 20 0 19 0 408271037 15790571520 60077 33554432000 4194304 4196468 140725692702768 139911114969416 139911266308492 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23746] ppid=23670 vsize=15420480 memory=280432105362448 CPUtime=0.94 cores=1,3,5,7
/proc/23672/task/23746/stat : 23746 (java) R 23670 23670 14254 0 -1 4202560 22 0 0 0 94 0 0 0 20 0 19 0 408271037 15790571520 60077 33554432000 4194304 4196468 140725692702768 139911113916104 139911268464641 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
Current children cumulated CPU time: 23.84 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 241756 KiB
[startup+12.7017 s]
/proc/loadavg: 7.39 8.21 8.33 9/236 23758
/proc/meminfo: memFree=30879644/32770624 swapFree=66920748/67108860
[pid=23670] ppid=23667 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23670/stat : 23670 (xcsp3-exec) S 23667 23670 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408270514 115843072 362 33554432000 4194304 5098028 140729464443216 140729464441320 139966894817916 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8163328 140729464451963 140729464452205 140729464452205 140729464455114 0
/proc/23670/statm: 28282 362 304 221 0 87 0
[pid=23672] ppid=23670 vsize=15420480 memory=240908 CPUtime=49.31 cores=1,3,5,7
/proc/23672/stat : 23672 (java) S 23670 23670 14254 0 -1 1077944320 31431 0 0 0 4914 17 0 0 20 0 19 0 408270514 15790571520 60227 33554432000 4194304 4196468 140725692702768 140725692685312 139911664250615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
/proc/23672/statm: 3855120 60227 3519 1 0 3816222 0
[pid=23672/tid=23673] ppid=23670 vsize=15420480 memory=6791534058613427641 CPUtime=0.73 cores=1,3,5,7
/proc/23672/task/23673/stat : 23673 (java) S 23670 23670 14254 0 -1 1077944384 9585 0 0 0 68 5 0 0 20 0 19 0 408270515 15790571520 60227 33554432000 4194304 4196468 140725692702768 139911668491392 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23674] ppid=23670 vsize=15420480 memory=981 CPUtime=0.01 cores=1,3,5,7
/proc/23672/task/23674/stat : 23674 (java) S 23670 23670 14254 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 19 0 408270515 15790571520 60227 33554432000 4194304 4196468 140725692702768 139911592291472 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23675] ppid=23670 vsize=15420480 memory=1448 CPUtime=0.03 cores=1,3,5,7
/proc/23672/task/23675/stat : 23675 (java) S 23670 23670 14254 0 -1 1077944384 913 0 0 0 2 1 0 0 20 0 19 0 408270515 15790571520 60227 33554432000 4194304 4196468 140725692702768 139911591238672 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23676] ppid=23670 vsize=15420480 memory=280432105983520 CPUtime=0.03 cores=1,3,5,7
/proc/23672/task/23676/stat : 23676 (java) S 23670 23670 14254 0 -1 1077944384 169 0 0 0 2 1 0 0 20 0 19 0 408270515 15790571520 60227 33554432000 4194304 4196468 140725692702768 139911590185872 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23677] ppid=23670 vsize=15420480 memory=56 CPUtime=0.02 cores=1,3,5,7
/proc/23672/task/23677/stat : 23677 (java) S 23670 23670 14254 0 -1 1077944384 40 0 0 0 1 1 0 0 20 0 19 0 408270515 15790571520 60227 33554432000 4194304 4196468 140725692702768 139911589133072 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23678] ppid=23670 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23678/stat : 23678 (java) S 23670 23670 14254 0 -1 1077944384 578 0 0 0 0 0 0 0 20 0 19 0 408270517 15790571520 60227 33554432000 4194304 4196468 140725692702768 139911132363120 139911664261762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23679] ppid=23670 vsize=15420480 memory=240560 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23679/stat : 23679 (java) S 23670 23670 14254 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 408270517 15790571520 60227 33554432000 4194304 4196468 140725692702768 139911131309152 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23680] ppid=23670 vsize=15420480 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23680/stat : 23680 (java) S 23670 23670 14254 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 408270517 15790571520 60227 33554432000 4194304 4196468 140725692702768 139911130256256 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23681] ppid=23670 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23681/stat : 23681 (java) S 23670 23670 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408270520 15790571520 60227 33554432000 4194304 4196468 140725692702768 139911129204560 139911664269211 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23682] ppid=23670 vsize=15420480 memory=0 CPUtime=2.68 cores=1,3,5,7
/proc/23672/task/23682/stat : 23682 (java) S 23670 23670 14254 0 -1 1077944384 4800 0 0 0 267 1 0 0 20 0 19 0 408270520 15790571520 60227 33554432000 4194304 4196468 140725692702768 139911128152944 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23683] ppid=23670 vsize=15420480 memory=264 CPUtime=2.69 cores=1,3,5,7
/proc/23672/task/23683/stat : 23683 (java) S 23670 23670 14254 0 -1 1077944384 5596 0 0 0 269 0 0 0 20 0 19 0 408270520 15790571520 60227 33554432000 4194304 4196468 140725692702768 139911127100144 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23684] ppid=23670 vsize=15420480 memory=1448 CPUtime=0.82 cores=1,3,5,7
/proc/23672/task/23684/stat : 23684 (java) S 23670 23670 14254 0 -1 1077944384 4582 0 0 0 81 1 0 0 20 0 19 0 408270520 15790571520 60227 33554432000 4194304 4196468 140725692702768 139911126047344 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23685] ppid=23670 vsize=15420480 memory=240908 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23685/stat : 23685 (java) S 23670 23670 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408270520 15790571520 60227 33554432000 4194304 4196468 140725692702768 139911124994784 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23686] ppid=23670 vsize=15420480 memory=8546823402028195750 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23686/stat : 23686 (java) S 23670 23670 14254 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 19 0 408270520 15790571520 60227 33554432000 4194304 4196468 140725692702768 139911123942064 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23755] ppid=23670 vsize=15420480 memory=1448 CPUtime=4.81 cores=1,3,5,7
/proc/23672/task/23755/stat : 23755 (java) R 23670 23670 14254 0 -1 4202560 64 0 0 0 481 0 0 0 20 0 19 0 408271302 15790571520 60227 33554432000 4194304 4196468 140725692702768 139911111809984 139911266773672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23756] ppid=23670 vsize=15420480 memory=0 CPUtime=4.79 cores=1,3,5,7
/proc/23672/task/23756/stat : 23756 (java) R 23670 23670 14254 0 -1 4202560 392 0 0 0 479 0 0 0 20 0 19 0 408271302 15790571520 60227 33554432000 4194304 4196468 140725692702768 139911112864680 139911266403693 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23757] ppid=23670 vsize=15420480 memory=7667491891858401383 CPUtime=4.63 cores=1,3,5,7
/proc/23672/task/23757/stat : 23757 (java) R 23670 23670 14254 0 -1 4202560 447 0 0 0 463 0 0 0 20 0 19 0 408271302 15790571520 60227 33554432000 4194304 4196468 140725692702768 139911113916664 139911268442136 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23758] ppid=23670 vsize=15420480 memory=5228 CPUtime=4.72 cores=1,3,5,7
/proc/23672/task/23758/stat : 23758 (java) R 23670 23670 14254 0 -1 4202560 195 0 0 0 472 0 0 0 20 0 19 0 408271302 15790571520 60227 33554432000 4194304 4196468 140725692702768 139911114968984 139911266239168 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
Current children cumulated CPU time: 49.31 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 242356 KiB
[startup+25.5008 s]
/proc/loadavg: 7.79 8.27 8.35 9/237 23773
/proc/meminfo: memFree=30751340/32770624 swapFree=66920748/67108860
[pid=23670] ppid=23667 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23670/stat : 23670 (xcsp3-exec) S 23667 23670 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408270514 115843072 362 33554432000 4194304 5098028 140729464443216 140729464441320 139966894817916 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8163328 140729464451963 140729464452205 140729464452205 140729464455114 0
/proc/23670/statm: 28282 362 304 221 0 87 0
[pid=23672] ppid=23670 vsize=15420480 memory=367984 CPUtime=100.26 cores=1,3,5,7
/proc/23672/stat : 23672 (java) S 23670 23670 14254 0 -1 1077944320 44033 0 0 0 10004 22 0 0 20 0 19 0 408270514 15790571520 91996 33554432000 4194304 4196468 140725692702768 140725692685312 139911664250615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
/proc/23672/statm: 3855120 91996 3525 1 0 3816222 0
[pid=23672/tid=23673] ppid=23670 vsize=15420480 memory=288230574492221466 CPUtime=0.73 cores=1,3,5,7
/proc/23672/task/23673/stat : 23673 (java) S 23670 23670 14254 0 -1 1077944384 9866 0 0 0 68 5 0 0 20 0 19 0 408270515 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911668491392 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23674] ppid=23670 vsize=15420480 memory=301741394933055803 CPUtime=0.03 cores=1,3,5,7
/proc/23672/task/23674/stat : 23674 (java) S 23670 23670 14254 0 -1 1077944384 1246 0 0 0 2 1 0 0 20 0 19 0 408270515 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911592291472 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23675] ppid=23670 vsize=15420480 memory=368140 CPUtime=0.04 cores=1,3,5,7
/proc/23672/task/23675/stat : 23675 (java) S 23670 23670 14254 0 -1 1077944384 988 0 0 0 3 1 0 0 20 0 19 0 408270515 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911591238672 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23676] ppid=23670 vsize=15420480 memory=280432105983520 CPUtime=0.04 cores=1,3,5,7
/proc/23672/task/23676/stat : 23676 (java) S 23670 23670 14254 0 -1 1077944384 265 0 0 0 3 1 0 0 20 0 19 0 408270515 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911590185872 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23677] ppid=23670 vsize=15420480 memory=3580 CPUtime=0.04 cores=1,3,5,7
/proc/23672/task/23677/stat : 23677 (java) S 23670 23670 14254 0 -1 1077944384 405 0 0 0 3 1 0 0 20 0 19 0 408270515 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911589133072 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23678] ppid=23670 vsize=15420480 memory=16956 CPUtime=0.01 cores=1,3,5,7
/proc/23672/task/23678/stat : 23678 (java) S 23670 23670 14254 0 -1 1077944384 871 0 0 0 1 0 0 0 20 0 19 0 408270517 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911132363120 139911664261762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23679] ppid=23670 vsize=15420480 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23679/stat : 23679 (java) S 23670 23670 14254 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 408270517 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911131309152 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23680] ppid=23670 vsize=15420480 memory=1284 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23680/stat : 23680 (java) S 23670 23670 14254 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 408270517 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911130256256 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23681] ppid=23670 vsize=15420480 memory=1044 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23681/stat : 23681 (java) S 23670 23670 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408270520 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911129204560 139911664269211 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23682] ppid=23670 vsize=15420480 memory=708 CPUtime=2.9 cores=1,3,5,7
/proc/23672/task/23682/stat : 23682 (java) R 23670 23670 14254 0 -1 4202560 8285 0 0 0 289 1 0 0 20 0 19 0 408270520 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911128153240 139911649172397 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23683] ppid=23670 vsize=15420480 memory=9364 CPUtime=2.86 cores=1,3,5,7
/proc/23672/task/23683/stat : 23683 (java) S 23670 23670 14254 0 -1 1077944384 8705 0 0 0 286 0 0 0 20 0 19 0 408270520 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911127100144 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23684] ppid=23670 vsize=15420480 memory=1448 CPUtime=0.83 cores=1,3,5,7
/proc/23672/task/23684/stat : 23684 (java) S 23670 23670 14254 0 -1 1077944384 5660 0 0 0 82 1 0 0 20 0 19 0 408270520 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911126047344 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23685] ppid=23670 vsize=15420480 memory=240348 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23685/stat : 23685 (java) S 23670 23670 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408270520 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911124994784 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23686] ppid=23670 vsize=15420480 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23686/stat : 23686 (java) S 23670 23670 14254 0 -1 1077944384 205 0 0 0 0 0 0 0 20 0 19 0 408270520 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911123942064 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
Current children cumulated CPU time: 100.26 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 369432 KiB
[startup+25.5408 s]
# the end of solver process 23670 was just reported to runsolver
# cumulated CPU time of all completed processes: user=100.161 s, system=0.22718 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.5008 s]
/proc/loadavg: 7.79 8.27 8.35 9/237 23773
/proc/meminfo: memFree=30751340/32770624 swapFree=66920748/67108860
[pid=23670] ppid=23667 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23670/stat : 23670 (xcsp3-exec) S 23667 23670 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408270514 115843072 362 33554432000 4194304 5098028 140729464443216 140729464441320 139966894817916 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8163328 140729464451963 140729464452205 140729464452205 140729464455114 0
/proc/23670/statm: 28282 362 304 221 0 87 0
[pid=23672] ppid=23670 vsize=15420480 memory=367984 CPUtime=100.26 cores=1,3,5,7
/proc/23672/stat : 23672 (java) S 23670 23670 14254 0 -1 1077944320 44033 0 0 0 10004 22 0 0 20 0 19 0 408270514 15790571520 91996 33554432000 4194304 4196468 140725692702768 140725692685312 139911664250615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
/proc/23672/statm: 3855120 91996 3525 1 0 3816222 0
[pid=23672/tid=23673] ppid=23670 vsize=15420480 memory=288230574492221466 CPUtime=0.73 cores=1,3,5,7
/proc/23672/task/23673/stat : 23673 (java) S 23670 23670 14254 0 -1 1077944384 9866 0 0 0 68 5 0 0 20 0 19 0 408270515 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911668491392 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23674] ppid=23670 vsize=15420480 memory=301741394933055803 CPUtime=0.03 cores=1,3,5,7
/proc/23672/task/23674/stat : 23674 (java) S 23670 23670 14254 0 -1 1077944384 1246 0 0 0 2 1 0 0 20 0 19 0 408270515 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911592291472 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23675] ppid=23670 vsize=15420480 memory=368140 CPUtime=0.04 cores=1,3,5,7
/proc/23672/task/23675/stat : 23675 (java) S 23670 23670 14254 0 -1 1077944384 988 0 0 0 3 1 0 0 20 0 19 0 408270515 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911591238672 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23676] ppid=23670 vsize=15420480 memory=280432105983520 CPUtime=0.04 cores=1,3,5,7
/proc/23672/task/23676/stat : 23676 (java) S 23670 23670 14254 0 -1 1077944384 265 0 0 0 3 1 0 0 20 0 19 0 408270515 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911590185872 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23677] ppid=23670 vsize=15420480 memory=3580 CPUtime=0.04 cores=1,3,5,7
/proc/23672/task/23677/stat : 23677 (java) S 23670 23670 14254 0 -1 1077944384 405 0 0 0 3 1 0 0 20 0 19 0 408270515 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911589133072 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23678] ppid=23670 vsize=15420480 memory=16956 CPUtime=0.01 cores=1,3,5,7
/proc/23672/task/23678/stat : 23678 (java) S 23670 23670 14254 0 -1 1077944384 871 0 0 0 1 0 0 0 20 0 19 0 408270517 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911132363120 139911664261762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23679] ppid=23670 vsize=15420480 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23679/stat : 23679 (java) S 23670 23670 14254 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 408270517 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911131309152 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23680] ppid=23670 vsize=15420480 memory=1284 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23680/stat : 23680 (java) S 23670 23670 14254 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 408270517 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911130256256 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23681] ppid=23670 vsize=15420480 memory=1044 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23681/stat : 23681 (java) S 23670 23670 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408270520 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911129204560 139911664269211 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23682] ppid=23670 vsize=15420480 memory=708 CPUtime=2.9 cores=1,3,5,7
/proc/23672/task/23682/stat : 23682 (java) R 23670 23670 14254 0 -1 4202560 8285 0 0 0 289 1 0 0 20 0 19 0 408270520 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911128153240 139911649172397 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23683] ppid=23670 vsize=15420480 memory=9364 CPUtime=2.86 cores=1,3,5,7
/proc/23672/task/23683/stat : 23683 (java) S 23670 23670 14254 0 -1 1077944384 8705 0 0 0 286 0 0 0 20 0 19 0 408270520 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911127100144 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23684] ppid=23670 vsize=15420480 memory=1448 CPUtime=0.83 cores=1,3,5,7
/proc/23672/task/23684/stat : 23684 (java) S 23670 23670 14254 0 -1 1077944384 5660 0 0 0 82 1 0 0 20 0 19 0 408270520 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911126047344 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23685] ppid=23670 vsize=15420480 memory=240348 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23685/stat : 23685 (java) S 23670 23670 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408270520 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911124994784 139911664260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
[pid=23672/tid=23686] ppid=23670 vsize=15420480 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23686/stat : 23686 (java) S 23670 23670 14254 0 -1 1077944384 205 0 0 0 0 0 0 0 20 0 19 0 408270520 15790571520 91996 33554432000 4194304 4196468 140725692702768 139911123942064 139911664261762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16171008 140725692707823 140725692707994 140725692707994 140725692710863 0
Current children cumulated CPU time: 100.26 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 369432 KiB
Child status: 0
Real time (s): 25.5408
CPU time (s): 100.389
CPU user time (s): 100.161
CPU system time (s): 0.22718
CPU usage (%): 393.052
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 369668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 100.161
system time used= 0.22718
maximum resident set size= 368220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45393
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3749
involuntary context switches= 2181
# summary of solver processes directly reported to runsolver:
# pid: 23670
# total CPU time (s): 100.389
# total CPU user time (s): 100.161
# total CPU system time (s): 0.22718
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.168347 second user time and 0.329245 second system time
The end