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 (11698 MiB free)
memory of node 1: 16384 MiB (14412 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393200-1568354161/watcher-4393200-1568354161 -o /tmp/evaluation-result-4393200-1568354161/solver-4393200-1568354161 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568354118-30104 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 700482388 HOME/instance-4393200-1568354161.xml
running on 4 cores: 0,2,4,6
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=30124, runsolver pid=30121
[startup+0.100923 s]*
/proc/loadavg: 1.00 1.01 1.09 4/229 30165
/proc/meminfo: memFree=26706204/32770624 swapFree=66957012/67108860
[pid=30124] ppid=30121 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30124/stat : 30124 (xcsp3-exec) S 30121 30124 30073 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411329970 115843072 362 33554432000 4194304 5098028 140727624244928 140727624243032 140238670021244 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20844544 140727624250235 140727624250477 140727624250477 140727624253386 0
/proc/30124/statm: 28282 362 304 221 0 87 0
[pid=30126] ppid=30124 vsize=15144768 memory=28664 CPUtime=0.12 cores=0,2,4,6
/proc/30126/stat : 30126 (java) S 30124 30124 30073 0 -1 1077944320 5648 0 0 0 12 0 0 0 20 0 15 0 411329971 15508242432 7166 33554432000 4194304 4196468 140728052087600 140728052070144 139727821799159 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
/proc/30126/statm: 3786192 7166 3118 1 0 3748377 0
[pid=30126/tid=30127] ppid=30124 vsize=15144768 memory=4351193298085511054 CPUtime=0.09 cores=0,2,4,6
/proc/30126/task/30127/stat : 30127 (java) R 30124 30124 30073 0 -1 4202560 3565 0 0 0 9 0 0 0 20 0 15 0 411329971 15508242432 7166 33554432000 4194304 4196468 140728052087600 139727826031936 139727805879646 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30131] ppid=30124 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30131/stat : 30131 (java) S 30124 30124 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411329972 15508242432 7166 33554432000 4194304 4196468 140728052087600 139727774419344 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30132] ppid=30124 vsize=15144768 memory=140119666075264 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30132/stat : 30132 (java) S 30124 30124 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411329972 15508242432 7166 33554432000 4194304 4196468 140728052087600 139727773366544 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30133] ppid=30124 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30133/stat : 30133 (java) S 30124 30124 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411329972 15508242432 7166 33554432000 4194304 4196468 140728052087600 139727772314256 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30134] ppid=30124 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30134/stat : 30134 (java) S 30124 30124 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411329972 15508242432 7166 33554432000 4194304 4196468 140728052087600 139727771261456 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30138] ppid=30124 vsize=15144768 memory=140119666075264 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30138/stat : 30138 (java) S 30124 30124 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411329973 15508242432 7166 33554432000 4194304 4196468 140728052087600 139727290198640 139727821810306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30143] ppid=30124 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30143/stat : 30143 (java) S 30124 30124 30073 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411329974 15508242432 7166 33554432000 4194304 4196468 140728052087600 139727289144608 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30145] ppid=30124 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30145/stat : 30145 (java) S 30124 30124 30073 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411329974 15508242432 7166 33554432000 4194304 4196468 140728052087600 139727288092272 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30152] ppid=30124 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30152/stat : 30152 (java) S 30124 30124 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411329976 15508242432 7166 33554432000 4194304 4196468 140728052087600 139727287040592 139727821817755 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30153] ppid=30124 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30153/stat : 30153 (java) S 30124 30124 30073 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 411329976 15508242432 7166 33554432000 4194304 4196468 140728052087600 139727285987440 139727821810306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30154] ppid=30124 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30154/stat : 30154 (java) S 30124 30124 30073 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 411329976 15508242432 7166 33554432000 4194304 4196468 140728052087600 139727284934640 139727821810306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30155] ppid=30124 vsize=15144768 memory=140119666075264 CPUtime=0.02 cores=0,2,4,6
/proc/30126/task/30155/stat : 30155 (java) R 30124 30124 30073 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 15 0 411329976 15508242432 7166 33554432000 4194304 4196468 140728052087600 139727283882352 139727821820506 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30157] ppid=30124 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30157/stat : 30157 (java) S 30124 30124 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411329977 15508242432 7166 33554432000 4194304 4196468 140728052087600 139727282829792 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30159] ppid=30124 vsize=15144768 memory=140119666075264 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30159/stat : 30159 (java) S 30124 30124 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411329977 15508242432 7166 33554432000 4194304 4196468 140728052087600 139727281777584 139727821810306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30112 KiB
[startup+0.210732 s]*
/proc/loadavg: 1.00 1.01 1.09 4/229 30165
/proc/meminfo: memFree=26678228/32770624 swapFree=66957012/67108860
[pid=30124] ppid=30121 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30124/stat : 30124 (xcsp3-exec) S 30121 30124 30073 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411329970 115843072 362 33554432000 4194304 5098028 140727624244928 140727624243032 140238670021244 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20844544 140727624250235 140727624250477 140727624250477 140727624253386 0
/proc/30124/statm: 28282 362 304 221 0 87 0
[pid=30126] ppid=30124 vsize=15144768 memory=40916 CPUtime=0.32 cores=0,2,4,6
/proc/30126/stat : 30126 (java) S 30124 30124 30073 0 -1 1077944320 9409 0 0 0 30 2 0 0 20 0 15 0 411329971 15508242432 10229 33554432000 4194304 4196468 140728052087600 140728052070144 139727821799159 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
/proc/30126/statm: 3786192 10229 3315 1 0 3748377 0
[pid=30126/tid=30127] ppid=30124 vsize=15144768 memory=7883960649037381690 CPUtime=0.18 cores=0,2,4,6
/proc/30126/task/30127/stat : 30127 (java) R 30124 30124 30073 0 -1 4202560 6547 0 0 0 17 1 0 0 20 0 15 0 411329971 15508242432 10229 33554432000 4194304 4196468 140728052087600 139727826028432 139727805879646 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30131] ppid=30124 vsize=15144768 memory=8952 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30131/stat : 30131 (java) S 30124 30124 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411329972 15508242432 10229 33554432000 4194304 4196468 140728052087600 139727774419344 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30132] ppid=30124 vsize=15144768 memory=4121837818625402528 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30132/stat : 30132 (java) S 30124 30124 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411329972 15508242432 10229 33554432000 4194304 4196468 140728052087600 139727773366544 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30133] ppid=30124 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30133/stat : 30133 (java) S 30124 30124 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411329972 15508242432 10229 33554432000 4194304 4196468 140728052087600 139727772314256 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30134] ppid=30124 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30134/stat : 30134 (java) S 30124 30124 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411329972 15508242432 10229 33554432000 4194304 4196468 140728052087600 139727771261456 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30138] ppid=30124 vsize=15144768 memory=140119666075264 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30138/stat : 30138 (java) S 30124 30124 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411329973 15508242432 10229 33554432000 4194304 4196468 140728052087600 139727290198640 139727821810306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30143] ppid=30124 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30143/stat : 30143 (java) S 30124 30124 30073 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411329974 15508242432 10229 33554432000 4194304 4196468 140728052087600 139727289144608 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30145] ppid=30124 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30145/stat : 30145 (java) S 30124 30124 30073 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411329974 15508242432 10229 33554432000 4194304 4196468 140728052087600 139727288092272 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30152] ppid=30124 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30152/stat : 30152 (java) S 30124 30124 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411329976 15508242432 10229 33554432000 4194304 4196468 140728052087600 139727287040592 139727821817755 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30153] ppid=30124 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30126/task/30153/stat : 30153 (java) S 30124 30124 30073 0 -1 1077944384 432 0 0 0 2 0 0 0 20 0 15 0 411329976 15508242432 10229 33554432000 4194304 4196468 140728052087600 139727285987440 139727821810306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30154] ppid=30124 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30126/task/30154/stat : 30154 (java) S 30124 30124 30073 0 -1 1077944384 344 0 0 0 2 0 0 0 20 0 15 0 411329976 15508242432 10229 33554432000 4194304 4196468 140728052087600 139727284934640 139727821810306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30155] ppid=30124 vsize=15144768 memory=140119666075264 CPUtime=0.07 cores=0,2,4,6
/proc/30126/task/30155/stat : 30155 (java) R 30124 30124 30073 0 -1 4202560 784 0 0 0 7 0 0 0 20 0 15 0 411329976 15508242432 10229 33554432000 4194304 4196468 140728052087600 139727283882352 139727821820506 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30157] ppid=30124 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30157/stat : 30157 (java) S 30124 30124 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411329977 15508242432 10229 33554432000 4194304 4196468 140728052087600 139727282829792 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30159] ppid=30124 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30159/stat : 30159 (java) S 30124 30124 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411329977 15508242432 10229 33554432000 4194304 4196468 140728052087600 139727281777584 139727821810306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42364 KiB
[startup+0.31176 s]*
/proc/loadavg: 1.00 1.01 1.09 7/229 30165
/proc/meminfo: memFree=26668460/32770624 swapFree=66957012/67108860
[pid=30124] ppid=30121 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30124/stat : 30124 (xcsp3-exec) S 30121 30124 30073 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411329970 115843072 362 33554432000 4194304 5098028 140727624244928 140727624243032 140238670021244 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20844544 140727624250235 140727624250477 140727624250477 140727624253386 0
/proc/30124/statm: 28282 362 304 221 0 87 0
[pid=30126] ppid=30124 vsize=15149024 memory=46692 CPUtime=0.48 cores=0,2,4,6
/proc/30126/stat : 30126 (java) S 30124 30124 30073 0 -1 1077944320 10479 0 0 0 45 3 0 0 20 0 15 0 411329971 15512600576 11673 33554432000 4194304 4196468 140728052087600 140728052070144 139727821799159 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
/proc/30126/statm: 3787256 11673 3337 1 0 3748377 0
[pid=30126/tid=30127] ppid=30124 vsize=15149024 memory=6791534058613427641 CPUtime=0.26 cores=0,2,4,6
/proc/30126/task/30127/stat : 30127 (java) R 30124 30124 30073 0 -1 4202560 7518 0 0 0 24 2 0 0 20 0 15 0 411329971 15512600576 11673 33554432000 4194304 4196468 140728052087600 139727826011712 139727814477173 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30131] ppid=30124 vsize=15149024 memory=35809 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30131/stat : 30131 (java) S 30124 30124 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411329972 15512600576 11673 33554432000 4194304 4196468 140728052087600 139727774419344 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30132] ppid=30124 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30132/stat : 30132 (java) S 30124 30124 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411329972 15512600576 11673 33554432000 4194304 4196468 140728052087600 139727773366544 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30133] ppid=30124 vsize=15149024 memory=9122464004270842071 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30133/stat : 30133 (java) S 30124 30124 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411329972 15512600576 11673 33554432000 4194304 4196468 140728052087600 139727772314256 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30134] ppid=30124 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30134/stat : 30134 (java) S 30124 30124 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411329972 15512600576 11673 33554432000 4194304 4196468 140728052087600 139727771261456 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30138] ppid=30124 vsize=15149024 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30138/stat : 30138 (java) S 30124 30124 30073 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411329973 15512600576 11673 33554432000 4194304 4196468 140728052087600 139727290198640 139727821810306 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30143] ppid=30124 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30143/stat : 30143 (java) S 30124 30124 30073 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411329974 15512600576 11673 33554432000 4194304 4196468 140728052087600 139727289144608 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30145] ppid=30124 vsize=15149024 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30145/stat : 30145 (java) S 30124 30124 30073 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411329974 15512600576 11673 33554432000 4194304 4196468 140728052087600 139727288092272 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30152] ppid=30124 vsize=15149024 memory=7089274314207166114 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30152/stat : 30152 (java) S 30124 30124 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411329976 15512600576 11673 33554432000 4194304 4196468 140728052087600 139727287040592 139727821817755 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30153] ppid=30124 vsize=15149024 memory=6944656591801720471 CPUtime=0.03 cores=0,2,4,6
/proc/30126/task/30153/stat : 30153 (java) S 30124 30124 30073 0 -1 1077944384 437 0 0 0 3 0 0 0 20 0 15 0 411329976 15512600576 11673 33554432000 4194304 4196468 140728052087600 139727285987440 139727821810306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30154] ppid=30124 vsize=15149024 memory=-8458152057954561420 CPUtime=0.03 cores=0,2,4,6
/proc/30126/task/30154/stat : 30154 (java) S 30124 30124 30073 0 -1 1077944384 359 0 0 0 3 0 0 0 20 0 15 0 411329976 15512600576 11673 33554432000 4194304 4196468 140728052087600 139727284934640 139727821810306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30155] ppid=30124 vsize=15149024 memory=-8813974798734826869 CPUtime=0.12 cores=0,2,4,6
/proc/30126/task/30155/stat : 30155 (java) S 30124 30124 30073 0 -1 1077944384 862 0 0 0 12 0 0 0 20 0 15 0 411329976 15512600576 11673 33554432000 4194304 4196468 140728052087600 139727283882352 139727821810306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30157] ppid=30124 vsize=15149024 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30157/stat : 30157 (java) S 30124 30124 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411329977 15512600576 11673 33554432000 4194304 4196468 140728052087600 139727282829792 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30159] ppid=30124 vsize=15149024 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30159/stat : 30159 (java) S 30124 30124 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411329977 15512600576 11673 33554432000 4194304 4196468 140728052087600 139727281777584 139727821810306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 48140 KiB
[startup+0.700784 s]
/proc/loadavg: 1.00 1.01 1.09 7/229 30165
/proc/meminfo: memFree=26636928/32770624 swapFree=66957012/67108860
[pid=30124] ppid=30121 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30124/stat : 30124 (xcsp3-exec) S 30121 30124 30073 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411329970 115843072 362 33554432000 4194304 5098028 140727624244928 140727624243032 140238670021244 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20844544 140727624250235 140727624250477 140727624250477 140727624253386 0
/proc/30124/statm: 28282 362 304 221 0 87 0
[pid=30126] ppid=30124 vsize=15151148 memory=111416 CPUtime=1.21 cores=0,2,4,6
/proc/30126/stat : 30126 (java) S 30124 30124 30073 0 -1 1077944320 12907 0 0 0 117 4 0 0 20 0 15 0 411329971 15514775552 27854 33554432000 4194304 4196468 140728052087600 140728052070144 139727821799159 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
/proc/30126/statm: 3787787 27854 3433 1 0 3748889 0
[pid=30126/tid=30127] ppid=30124 vsize=15151148 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/30126/task/30127/stat : 30127 (java) R 30124 30124 30073 0 -1 4202560 8979 0 0 0 60 4 0 0 20 0 15 0 411329971 15514775552 27854 33554432000 4194304 4196468 140728052087600 139727826034672 139727453015639 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30131] ppid=30124 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30131/stat : 30131 (java) S 30124 30124 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411329972 15514775552 27854 33554432000 4194304 4196468 140728052087600 139727774419344 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30132] ppid=30124 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30132/stat : 30132 (java) S 30124 30124 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411329972 15514775552 27854 33554432000 4194304 4196468 140728052087600 139727773366544 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30133] ppid=30124 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30133/stat : 30133 (java) S 30124 30124 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411329972 15514775552 27854 33554432000 4194304 4196468 140728052087600 139727772314256 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30134] ppid=30124 vsize=15151148 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30134/stat : 30134 (java) S 30124 30124 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411329972 15514775552 27854 33554432000 4194304 4196468 140728052087600 139727771261456 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30138] ppid=30124 vsize=15151148 memory=732 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30138/stat : 30138 (java) S 30124 30124 30073 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411329973 15514775552 27854 33554432000 4194304 4196468 140728052087600 139727290198640 139727821810306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30143] ppid=30124 vsize=15151148 memory=776 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30143/stat : 30143 (java) S 30124 30124 30073 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411329974 15514775552 27854 33554432000 4194304 4196468 140728052087600 139727289144608 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30145] ppid=30124 vsize=15151148 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30145/stat : 30145 (java) S 30124 30124 30073 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411329974 15514775552 27854 33554432000 4194304 4196468 140728052087600 139727288092272 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30152] ppid=30124 vsize=15151148 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30152/stat : 30152 (java) S 30124 30124 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411329976 15514775552 27854 33554432000 4194304 4196468 140728052087600 139727287040592 139727821817755 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30153] ppid=30124 vsize=15151148 memory=1096 CPUtime=0.13 cores=0,2,4,6
/proc/30126/task/30153/stat : 30153 (java) S 30124 30124 30073 0 -1 1077944384 714 0 0 0 13 0 0 0 20 0 15 0 411329976 15514775552 27854 33554432000 4194304 4196468 140728052087600 139727285987440 139727821810306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30154] ppid=30124 vsize=15151148 memory=2828 CPUtime=0.15 cores=0,2,4,6
/proc/30126/task/30154/stat : 30154 (java) S 30124 30124 30073 0 -1 1077944384 670 0 0 0 15 0 0 0 20 0 15 0 411329976 15514775552 27854 33554432000 4194304 4196468 140728052087600 139727284934640 139727821810306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30155] ppid=30124 vsize=15151148 memory=1164 CPUtime=0.26 cores=0,2,4,6
/proc/30126/task/30155/stat : 30155 (java) S 30124 30124 30073 0 -1 1077944384 1238 0 0 0 26 0 0 0 20 0 15 0 411329976 15514775552 27854 33554432000 4194304 4196468 140728052087600 139727283882352 139727821810306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30157] ppid=30124 vsize=15151148 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30157/stat : 30157 (java) S 30124 30124 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411329977 15514775552 27854 33554432000 4194304 4196468 140728052087600 139727282829792 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30159] ppid=30124 vsize=15151148 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30159/stat : 30159 (java) S 30124 30124 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411329977 15514775552 27854 33554432000 4194304 4196468 140728052087600 139727281777584 139727821810306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 112864 KiB
[startup+1.5008 s]
/proc/loadavg: 1.00 1.01 1.09 8/229 30165
/proc/meminfo: memFree=26345432/32770624 swapFree=66957012/67108860
[pid=30124] ppid=30121 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30124/stat : 30124 (xcsp3-exec) S 30121 30124 30073 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411329970 115843072 362 33554432000 4194304 5098028 140727624244928 140727624243032 140238670021244 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20844544 140727624250235 140727624250477 140727624250477 140727624253386 0
/proc/30124/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/30126/task/30132/stat : 30132 (java) S 30124 30124 30073 0 -1 1077944384 21744 0 0 0 6689 281 0 0 20 0 15 0 411329972 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727773366544 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30133] ppid=30124 vsize=15151148 memory=12143804 CPUtime=69.67 cores=0,2,4,6
/proc/30126/task/30133/stat : 30133 (java) S 30124 30124 30073 0 -1 1077944384 19214 0 0 0 6655 312 0 0 20 0 15 0 411329972 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727772314256 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30134] ppid=30124 vsize=15151148 memory=0 CPUtime=69.83 cores=0,2,4,6
/proc/30126/task/30134/stat : 30134 (java) S 30124 30124 30073 0 -1 1077944384 26397 0 0 0 6695 288 0 0 20 0 15 0 411329972 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727771261456 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30138] ppid=30124 vsize=15151148 memory=-3622645143214314312 CPUtime=28.65 cores=0,2,4,6
/proc/30126/task/30138/stat : 30138 (java) R 30124 30124 30073 0 -1 4202560 29581 0 0 0 2863 2 0 0 20 0 15 0 411329973 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727290197072 139727806256790 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30143] ppid=30124 vsize=15151148 memory=1096 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30143/stat : 30143 (java) S 30124 30124 30073 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 411329974 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727289144576 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30145] ppid=30124 vsize=15151148 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30145/stat : 30145 (java) S 30124 30124 30073 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 411329974 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727288092288 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30152] ppid=30124 vsize=15151148 memory=1164 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30152/stat : 30152 (java) S 30124 30124 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411329976 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727287040592 139727821817755 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30153] ppid=30124 vsize=15151148 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/30126/task/30153/stat : 30153 (java) S 30124 30124 30073 0 -1 1077944384 2528 0 0 0 30 0 0 0 20 0 15 0 411329976 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727285987440 139727821810306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30154] ppid=30124 vsize=15151148 memory=-6373826617258374336 CPUtime=0.3 cores=0,2,4,6
/proc/30126/task/30154/stat : 30154 (java) S 30124 30124 30073 0 -1 1077944384 1559 0 1 0 30 0 0 0 20 0 15 0 411329976 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727284934640 139727821810306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30155] ppid=30124 vsize=15151148 memory=6947192096485040981 CPUtime=0.4 cores=0,2,4,6
/proc/30126/task/30155/stat : 30155 (java) S 30124 30124 30073 0 -1 1077944384 3100 0 0 0 40 0 0 0 20 0 15 0 411329976 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727283882352 139727821810306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30157] ppid=30124 vsize=15151148 memory=7594304089994388071 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30157/stat : 30157 (java) S 30124 30124 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411329977 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727282829792 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30159] ppid=30124 vsize=15151148 memory=6791534058613427641 CPUtime=0.05 cores=0,2,4,6
/proc/30126/task/30159/stat : 30159 (java) S 30124 30124 30073 0 -1 1077944384 234 0 0 0 3 2 0 0 20 0 15 0 411329977 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727281777584 139727821810306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
Current children cumulated CPU time: 343.94 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12145268 KiB
[startup+136.101 s]*
/proc/loadavg: 6.03 2.80 1.72 10/233 30200
/proc/meminfo: memFree=12486952/32770624 swapFree=66957012/67108860
[pid=30124] ppid=30121 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30124/stat : 30124 (xcsp3-exec) S 30121 30124 30073 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411329970 115843072 362 33554432000 4194304 5098028 140727624244928 140727624243032 140238670021244 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20844544 140727624250235 140727624250477 140727624250477 140727624253386 0
/proc/30124/statm: 28282 362 304 221 0 87 0
[pid=30126] ppid=30124 vsize=15151148 memory=12143820 CPUtime=350.18 cores=0,2,4,6
/proc/30126/stat : 30126 (java) S 30124 30124 30073 0 -1 1077944320 140041 0 1 0 33815 1203 0 0 20 0 15 0 411329971 15514775552 3035955 33554432000 4194304 4196468 140728052087600 140728052070144 139727821799159 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
/proc/30126/statm: 3787787 3035955 3498 1 0 3748889 0
[pid=30126/tid=30127] ppid=30124 vsize=15151148 memory=2520 CPUtime=35.28 cores=0,2,4,6
/proc/30126/task/30127/stat : 30127 (java) S 30124 30124 30073 0 -1 1077944384 15388 0 0 0 3519 9 0 0 20 0 15 0 411329971 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727826037072 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30131] ppid=30124 vsize=15151148 memory=1398720917958146503 CPUtime=71.19 cores=0,2,4,6
/proc/30126/task/30131/stat : 30131 (java) R 30124 30124 30073 0 -1 4202560 18812 0 0 0 6814 305 0 0 20 0 15 0 411329972 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727774419232 139727806750210 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30132] ppid=30124 vsize=15151148 memory=896 CPUtime=71.25 cores=0,2,4,6
/proc/30126/task/30132/stat : 30132 (java) R 30124 30124 30073 0 -1 4202560 21799 0 0 0 6844 281 0 0 20 0 15 0 411329972 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727773366744 139727806750270 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30133] ppid=30124 vsize=15151148 memory=1980 CPUtime=71.22 cores=0,2,4,6
/proc/30126/task/30133/stat : 30133 (java) R 30124 30124 30073 0 -1 4202560 19217 0 0 0 6810 312 0 0 20 0 15 0 411329972 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727772314456 139727806496934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30134] ppid=30124 vsize=15151148 memory=2520 CPUtime=71.38 cores=0,2,4,6
/proc/30126/task/30134/stat : 30134 (java) R 30124 30124 30073 0 -1 4202560 26524 0 0 0 6850 288 0 0 20 0 15 0 411329972 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727771261656 139727806749764 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30138] ppid=30124 vsize=15151148 memory=1760 CPUtime=28.71 cores=0,2,4,6
/proc/30126/task/30138/stat : 30138 (java) S 30124 30124 30073 0 -1 1077944384 29581 0 0 0 2869 2 0 0 20 0 15 0 411329973 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727290196976 139727821809365 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30143] ppid=30124 vsize=15151148 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30143/stat : 30143 (java) S 30124 30124 30073 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 411329974 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727289144576 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30145] ppid=30124 vsize=15151148 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30145/stat : 30145 (java) S 30124 30124 30073 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 411329974 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727288092288 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30152] ppid=30124 vsize=15151148 memory=796 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30152/stat : 30152 (java) S 30124 30124 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411329976 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727287040592 139727821817755 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30153] ppid=30124 vsize=15151148 memory=1804 CPUtime=0.3 cores=0,2,4,6
/proc/30126/task/30153/stat : 30153 (java) S 30124 30124 30073 0 -1 1077944384 2528 0 0 0 30 0 0 0 20 0 15 0 411329976 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727285987440 139727821810306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30154] ppid=30124 vsize=15151148 memory=916 CPUtime=0.3 cores=0,2,4,6
/proc/30126/task/30154/stat : 30154 (java) S 30124 30124 30073 0 -1 1077944384 1559 0 1 0 30 0 0 0 20 0 15 0 411329976 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727284934640 139727821810306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30155] ppid=30124 vsize=15151148 memory=3808 CPUtime=0.4 cores=0,2,4,6
/proc/30126/task/30155/stat : 30155 (java) S 30124 30124 30073 0 -1 1077944384 3100 0 0 0 40 0 0 0 20 0 15 0 411329976 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727283882352 139727821810306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30157] ppid=30124 vsize=15151148 memory=2304 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30157/stat : 30157 (java) S 30124 30124 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411329977 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727282829792 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30159] ppid=30124 vsize=15151148 memory=2304 CPUtime=0.05 cores=0,2,4,6
/proc/30126/task/30159/stat : 30159 (java) R 30124 30124 30073 0 -1 1077944384 234 0 0 0 3 2 0 0 20 0 15 0 411329977 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727281777584 139727821810306 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
Current children cumulated CPU time: 350.18 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12145268 KiB
[startup+136.901 s]
/proc/loadavg: 6.03 2.80 1.72 10/233 30200
/proc/meminfo: memFree=12486952/32770624 swapFree=66957012/67108860
[pid=30124] ppid=30121 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30124/stat : 30124 (xcsp3-exec) S 30121 30124 30073 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411329970 115843072 362 33554432000 4194304 5098028 140727624244928 140727624243032 140238670021244 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20844544 140727624250235 140727624250477 140727624250477 140727624253386 0
/proc/30124/statm: 28282 362 304 221 0 87 0
[pid=30126] ppid=30124 vsize=15151148 memory=12143820 CPUtime=353.31 cores=0,2,4,6
/proc/30126/stat : 30126 (java) S 30124 30124 30073 0 -1 1077944320 140106 0 1 0 34128 1203 0 0 20 0 15 0 411329971 15514775552 3035955 33554432000 4194304 4196468 140728052087600 140728052070144 139727821799159 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
/proc/30126/statm: 3787787 3035955 3498 1 0 3748889 0
[pid=30126/tid=30127] ppid=30124 vsize=15151148 memory=6791534058613427641 CPUtime=35.28 cores=0,2,4,6
/proc/30126/task/30127/stat : 30127 (java) S 30124 30124 30073 0 -1 1077944384 15388 0 0 0 3519 9 0 0 20 0 15 0 411329971 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727826037072 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30131] ppid=30124 vsize=15151148 memory=2020 CPUtime=71.97 cores=0,2,4,6
/proc/30126/task/30131/stat : 30131 (java) R 30124 30124 30073 0 -1 4202560 18812 0 0 0 6892 305 0 0 20 0 15 0 411329972 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727774419232 139727806795821 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30132] ppid=30124 vsize=15151148 memory=988 CPUtime=72.04 cores=0,2,4,6
/proc/30126/task/30132/stat : 30132 (java) R 30124 30124 30073 0 -1 4202560 21837 0 0 0 6923 281 0 0 20 0 15 0 411329972 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727773366744 139727806498001 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30133] ppid=30124 vsize=15151148 memory=1368 CPUtime=72 cores=0,2,4,6
/proc/30126/task/30133/stat : 30133 (java) R 30124 30124 30073 0 -1 4202560 19243 0 0 0 6888 312 0 0 20 0 15 0 411329972 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727772314456 139727806795563 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30134] ppid=30124 vsize=15151148 memory=1056 CPUtime=72.16 cores=0,2,4,6
/proc/30126/task/30134/stat : 30134 (java) R 30124 30124 30073 0 -1 4202560 26524 0 0 0 6928 288 0 0 20 0 15 0 411329972 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727771261656 139727806795805 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30138] ppid=30124 vsize=15151148 memory=1712 CPUtime=28.71 cores=0,2,4,6
/proc/30126/task/30138/stat : 30138 (java) S 30124 30124 30073 0 -1 1077944384 29581 0 0 0 2869 2 0 0 20 0 15 0 411329973 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727290197200 139727821809365 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30143] ppid=30124 vsize=15151148 memory=6092 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30143/stat : 30143 (java) S 30124 30124 30073 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 411329974 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727289144576 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30145] ppid=30124 vsize=15151148 memory=12143820 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30145/stat : 30145 (java) S 30124 30124 30073 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 411329974 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727288092288 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30152] ppid=30124 vsize=15151148 memory=1096 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30152/stat : 30152 (java) S 30124 30124 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411329976 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727287040592 139727821817755 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30153] ppid=30124 vsize=15151148 memory=2828 CPUtime=0.3 cores=0,2,4,6
/proc/30126/task/30153/stat : 30153 (java) S 30124 30124 30073 0 -1 1077944384 2528 0 0 0 30 0 0 0 20 0 15 0 411329976 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727285987488 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30154] ppid=30124 vsize=15151148 memory=1164 CPUtime=0.3 cores=0,2,4,6
/proc/30126/task/30154/stat : 30154 (java) S 30124 30124 30073 0 -1 1077944384 1560 0 1 0 30 0 0 0 20 0 15 0 411329976 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727284934400 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30155] ppid=30124 vsize=15151148 memory=14008 CPUtime=0.4 cores=0,2,4,6
/proc/30126/task/30155/stat : 30155 (java) S 30124 30124 30073 0 -1 1077944384 3100 0 0 0 40 0 0 0 20 0 15 0 411329976 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727283882400 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30157] ppid=30124 vsize=15151148 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30157/stat : 30157 (java) S 30124 30124 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411329977 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727282829792 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30159] ppid=30124 vsize=15151148 memory=2124 CPUtime=0.05 cores=0,2,4,6
/proc/30126/task/30159/stat : 30159 (java) S 30124 30124 30073 0 -1 1077944384 234 0 0 0 3 2 0 0 20 0 15 0 411329977 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727281777584 139727821810306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
Current children cumulated CPU time: 353.31 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12145268 KiB
[startup+137.709 s]
/proc/loadavg: 6.03 2.80 1.72 9/233 30200
/proc/meminfo: memFree=12487000/32770624 swapFree=66957012/67108860
[pid=30124] ppid=30121 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30124/stat : 30124 (xcsp3-exec) S 30121 30124 30073 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411329970 115843072 362 33554432000 4194304 5098028 140727624244928 140727624243032 140238670021244 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20844544 140727624250235 140727624250477 140727624250477 140727624253386 0
/proc/30124/statm: 28282 362 304 221 0 87 0
[pid=30126] ppid=30124 vsize=15151148 memory=12143820 CPUtime=356.49 cores=0,2,4,6
/proc/30126/stat : 30126 (java) S 30124 30124 30073 0 -1 1077944320 140241 0 1 0 34446 1203 0 0 20 0 15 0 411329971 15514775552 3035955 33554432000 4194304 4196468 140728052087600 140728052070144 139727821799159 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
/proc/30126/statm: 3787787 3035955 3498 1 0 3748889 0
[pid=30126/tid=30127] ppid=30124 vsize=15151148 memory=1448 CPUtime=35.28 cores=0,2,4,6
/proc/30126/task/30127/stat : 30127 (java) S 30124 30124 30073 0 -1 1077944384 15388 0 0 0 3519 9 0 0 20 0 15 0 411329971 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727826037072 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30131] ppid=30124 vsize=15151148 memory=2828 CPUtime=72.75 cores=0,2,4,6
/proc/30126/task/30131/stat : 30131 (java) S 30124 30124 30073 0 -1 1077944384 18812 0 0 0 6970 305 0 0 20 0 15 0 411329972 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727774419344 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30132] ppid=30124 vsize=15151148 memory=6791534058613427641 CPUtime=72.83 cores=0,2,4,6
/proc/30126/task/30132/stat : 30132 (java) S 30124 30124 30073 0 -1 1077944384 21837 0 0 0 7002 281 0 0 20 0 15 0 411329972 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727773366544 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30133] ppid=30124 vsize=15151148 memory=12143804 CPUtime=72.79 cores=0,2,4,6
/proc/30126/task/30133/stat : 30133 (java) S 30124 30124 30073 0 -1 1077944384 19325 0 0 0 6967 312 0 0 20 0 15 0 411329972 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727772314256 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30134] ppid=30124 vsize=15151148 memory=2124 CPUtime=72.96 cores=0,2,4,6
/proc/30126/task/30134/stat : 30134 (java) S 30124 30124 30073 0 -1 1077944384 26577 0 0 0 7008 288 0 0 20 0 15 0 411329972 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727771261456 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30138] ppid=30124 vsize=15151148 memory=1448 CPUtime=28.73 cores=0,2,4,6
/proc/30126/task/30138/stat : 30138 (java) R 30124 30124 30073 0 -1 4202560 29581 0 0 0 2871 2 0 0 20 0 15 0 411329973 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727290197088 139727806795668 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30143] ppid=30124 vsize=15151148 memory=12143820 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30143/stat : 30143 (java) S 30124 30124 30073 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 411329974 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727289144576 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30145] ppid=30124 vsize=15151148 memory=12143804 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30145/stat : 30145 (java) S 30124 30124 30073 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 411329974 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727288092288 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30152] ppid=30124 vsize=15151148 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30152/stat : 30152 (java) S 30124 30124 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411329976 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727287040592 139727821817755 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30153] ppid=30124 vsize=15151148 memory=1448 CPUtime=0.3 cores=0,2,4,6
/proc/30126/task/30153/stat : 30153 (java) S 30124 30124 30073 0 -1 1077944384 2528 0 0 0 30 0 0 0 20 0 15 0 411329976 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727285987488 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30154] ppid=30124 vsize=15151148 memory=12143804 CPUtime=0.3 cores=0,2,4,6
/proc/30126/task/30154/stat : 30154 (java) S 30124 30124 30073 0 -1 1077944384 1560 0 1 0 30 0 0 0 20 0 15 0 411329976 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727284934400 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30155] ppid=30124 vsize=15151148 memory=1448 CPUtime=0.4 cores=0,2,4,6
/proc/30126/task/30155/stat : 30155 (java) S 30124 30124 30073 0 -1 1077944384 3100 0 0 0 40 0 0 0 20 0 15 0 411329976 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727283882400 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30157] ppid=30124 vsize=15151148 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30126/task/30157/stat : 30157 (java) S 30124 30124 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411329977 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727282829792 139727821809365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
[pid=30126/tid=30159] ppid=30124 vsize=15151148 memory=12143820 CPUtime=0.05 cores=0,2,4,6
/proc/30126/task/30159/stat : 30159 (java) S 30124 30124 30073 0 -1 1077944384 234 0 0 0 3 2 0 0 20 0 15 0 411329977 15514775552 3035955 33554432000 4194304 4196468 140728052087600 139727281777584 139727821810306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34467840 140728052089839 140728052090010 140728052090010 140728052092879 0
Current children cumulated CPU time: 356.49 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12145268 KiB
[startup+137.926 s]
/proc/loadavg: 6.03 2.80 1.72 9/233 30200
/proc/meminfo: memFree=12487000/32770624 swapFree=66957012/67108860
[pid=30124] ppid=30121 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30124/stat : 30124 (xcsp3-exec) S 30121 30124 30073 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411329970 115843072 362 33554432000 4194304 5098028 140727624244928 140727624243032 140238670021244 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20844544 140727624250235 140727624250477 140727624250477 140727624253386 0
/proc/30124/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 1
Real time (s): 137.945
CPU time (s): 356.718
CPU user time (s): 344.631
CPU system time (s): 12.0869
CPU usage (%): 258.594
Max. virtual memory (cumulated for all children) (KiB): 15264276
Max. memory (cumulated for all children) (KiB): 12145268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 344.631
system time used= 12.0869
maximum resident set size= 12144180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141002
page faults= 1
swaps= 0
block input operations= 1080
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7872
involuntary context switches= 9587
# summary of solver processes directly reported to runsolver:
# pid: 30124
# total CPU time (s): 356.718
# total CPU user time (s): 344.631
# total CPU system time (s): 12.0869
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.944728 second user time and 1.35753 second system time
The end