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 (14942 MiB free)
memory of node 1: 16384 MiB (10999 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271977-1502745853/watcher-4271977-1502745853 -o /tmp/evaluation-result-4271977-1502745853/solver-4271977-1502745853 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 808952035 HOME/instance-4271977-1502745853.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=27330, runsolver pid=27327
[startup+0.100143 s]*
/proc/loadavg: 2.13 1.98 1.90 3/205 27337
/proc/meminfo: memFree=26555200/32770624 swapFree=67108860/67108860
[pid=27330] ppid=27327 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27330/stat : 27330 (xcsp3-exec) S 27327 27330 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 76805941 9740288 345 18446744073709551615 4194304 5098028 140735356954240 140735356952344 140504056279676 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 34373632 140735356961145 140735356961349 140735356961349 140735356964843 0
/proc/27330/statm: 2378 345 289 221 0 87 0
[pid=27332] ppid=27330 vsize=13441356 memory=16940 CPUtime=0.01 cores=0,2,4,6
/proc/27332/stat : 27332 (java) S 27330 27330 897 0 -1 1077944320 3514 0 0 0 1 0 0 0 20 0 7 0 76805950 13763948544 4235 18446744073709551615 4194304 4196468 140729074849824 140729074832368 140608932495095 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
/proc/27332/statm: 3360339 4235 1983 1 0 3349836 0
[pid=27332/tid=27333] ppid=27330 vsize=13441356 memory=8390339637985935414 CPUtime=0.01 cores=0,2,4,6
/proc/27332/task/27333/stat : 27333 (java) R 27330 27330 897 0 -1 4202560 2273 0 0 0 1 0 0 0 20 0 7 0 76805950 13763948544 4235 18446744073709551615 4194304 4196468 140729074849824 140608936737552 140608924732222 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27334] ppid=27330 vsize=13441356 memory=288230596118065508 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27334/stat : 27334 (java) S 27330 27330 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 76805951 13763948544 4235 18446744073709551615 4194304 4196468 140729074849824 140608851909264 140608932505301 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27335] ppid=27330 vsize=13441356 memory=140223010808776 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27335/stat : 27335 (java) S 27330 27330 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 76805951 13763948544 4235 18446744073709551615 4194304 4196468 140729074849824 140608850856464 140608932505301 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27336] ppid=27330 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27336/stat : 27336 (java) S 27330 27330 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 76805951 13763948544 4235 18446744073709551615 4194304 4196468 140729074849824 140608849803664 140608932505301 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27337] ppid=27330 vsize=13441356 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27337/stat : 27337 (java) S 27330 27330 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 76805951 13763948544 4235 18446744073709551615 4194304 4196468 140729074849824 140608848750864 140608932505301 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27338] ppid=27330 vsize=13441356 memory=140223010784896 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27338/stat : 27338 (java) S 27330 27330 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 76805952 13763948544 4235 18446744073709551615 4194304 4196468 140729074849824 140608410213232 140608932506242 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 18320 KiB
[startup+0.210054 s]*
/proc/loadavg: 2.13 1.98 1.90 3/214 27346
/proc/meminfo: memFree=26550404/32770624 swapFree=67108860/67108860
[pid=27330] ppid=27327 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27330/stat : 27330 (xcsp3-exec) S 27327 27330 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 76805941 9740288 345 18446744073709551615 4194304 5098028 140735356954240 140735356952344 140504056279676 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 34373632 140735356961145 140735356961349 140735356961349 140735356964843 0
/proc/27330/statm: 2378 345 289 221 0 87 0
[pid=27332] ppid=27330 vsize=13974352 memory=23496 CPUtime=0.07 cores=0,2,4,6
/proc/27332/stat : 27332 (java) S 27330 27330 897 0 -1 1077944320 4800 0 0 0 6 1 0 0 20 0 15 0 76805950 14309736448 5874 18446744073709551615 4194304 4196468 140729074849824 140729074832368 140608932495095 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
/proc/27332/statm: 3493588 5874 2716 1 0 3482964 0
[pid=27332/tid=27333] ppid=27330 vsize=13974352 memory=8390339637985935414 CPUtime=0.05 cores=0,2,4,6
/proc/27332/task/27333/stat : 27333 (java) R 27330 27330 897 0 -1 4202560 2967 0 0 0 5 0 0 0 20 0 15 0 76805950 14309736448 5874 18446744073709551615 4194304 4196468 140729074849824 140608936737376 140608912077282 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27334] ppid=27330 vsize=13974352 memory=307370894534390116 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27334/stat : 27334 (java) S 27330 27330 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76805951 14309736448 5874 18446744073709551615 4194304 4196468 140729074849824 140608851909264 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27335] ppid=27330 vsize=13974352 memory=140223010808776 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27335/stat : 27335 (java) S 27330 27330 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76805951 14309736448 5874 18446744073709551615 4194304 4196468 140729074849824 140608850856464 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27336] ppid=27330 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27336/stat : 27336 (java) S 27330 27330 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76805951 14309736448 5874 18446744073709551615 4194304 4196468 140729074849824 140608849803664 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27337] ppid=27330 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27337/stat : 27337 (java) S 27330 27330 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76805951 14309736448 5874 18446744073709551615 4194304 4196468 140729074849824 140608848750864 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27338] ppid=27330 vsize=13974352 memory=140223010784896 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27338/stat : 27338 (java) S 27330 27330 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76805952 14309736448 5874 18446744073709551615 4194304 4196468 140729074849824 140608410213232 140608932506242 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27339] ppid=27330 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27339/stat : 27339 (java) S 27330 27330 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76805953 14309736448 5874 18446744073709551615 4194304 4196468 140729074849824 140608409159200 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27340] ppid=27330 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27340/stat : 27340 (java) S 27330 27330 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76805953 14309736448 5874 18446744073709551615 4194304 4196468 140729074849824 140608408106352 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27341] ppid=27330 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27341/stat : 27341 (java) S 27330 27330 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76805955 14309736448 5874 18446744073709551615 4194304 4196468 140729074849824 140608407054672 140608932513691 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27342] ppid=27330 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27342/stat : 27342 (java) S 27330 27330 897 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 76805955 14309736448 5874 18446744073709551615 4194304 4196468 140729074849824 140608406002032 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27343] ppid=27330 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27343/stat : 27343 (java) S 27330 27330 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76805955 14309736448 5874 18446744073709551615 4194304 4196468 140729074849824 140608404949232 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27344] ppid=27330 vsize=13974352 memory=140223010784896 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27344/stat : 27344 (java) S 27330 27330 897 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 76805955 14309736448 5874 18446744073709551615 4194304 4196468 140729074849824 140608403896432 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27345] ppid=27330 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27345/stat : 27345 (java) S 27330 27330 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76805955 14309736448 5874 18446744073709551615 4194304 4196468 140729074849824 140608402843872 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27346] ppid=27330 vsize=13974352 memory=140223010784896 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27346/stat : 27346 (java) S 27330 27330 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76805962 14309736448 5874 18446744073709551615 4194304 4196468 140729074849824 140608401792176 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24876 KiB
[startup+0.31035 s]*
/proc/loadavg: 2.13 1.98 1.90 3/214 27346
/proc/meminfo: memFree=26534964/32770624 swapFree=67108860/67108860
[pid=27330] ppid=27327 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27330/stat : 27330 (xcsp3-exec) S 27327 27330 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 76805941 9740288 345 18446744073709551615 4194304 5098028 140735356954240 140735356952344 140504056279676 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 34373632 140735356961145 140735356961349 140735356961349 140735356964843 0
/proc/27330/statm: 2378 345 289 221 0 87 0
[pid=27332] ppid=27330 vsize=13974352 memory=37512 CPUtime=0.24 cores=0,2,4,6
/proc/27332/stat : 27332 (java) S 27330 27330 897 0 -1 1077944320 8399 0 0 0 22 2 0 0 20 0 15 0 76805950 14309736448 9378 18446744073709551615 4194304 4196468 140729074849824 140729074832368 140608932495095 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
/proc/27332/statm: 3493588 9378 2973 1 0 3482964 0
[pid=27332/tid=27333] ppid=27330 vsize=13974352 memory=8390339637985935414 CPUtime=0.15 cores=0,2,4,6
/proc/27332/task/27333/stat : 27333 (java) R 27330 27330 897 0 -1 4202560 5652 0 0 0 14 1 0 0 20 0 15 0 76805950 14309736448 9378 18446744073709551615 4194304 4196468 140729074849824 140608936693456 140608916575582 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27334] ppid=27330 vsize=13974352 memory=301741395000176996 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27334/stat : 27334 (java) S 27330 27330 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76805951 14309736448 9378 18446744073709551615 4194304 4196468 140729074849824 140608851909264 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27335] ppid=27330 vsize=13974352 memory=140223010808776 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27335/stat : 27335 (java) S 27330 27330 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76805951 14309736448 9378 18446744073709551615 4194304 4196468 140729074849824 140608850856464 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27336] ppid=27330 vsize=13974352 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27336/stat : 27336 (java) S 27330 27330 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76805951 14309736448 9378 18446744073709551615 4194304 4196468 140729074849824 140608849803664 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27337] ppid=27330 vsize=13974352 memory=3472328296227680299 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27337/stat : 27337 (java) S 27330 27330 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76805951 14309736448 9378 18446744073709551615 4194304 4196468 140729074849824 140608848750864 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27338] ppid=27330 vsize=13974352 memory=8388507341371457268 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27338/stat : 27338 (java) S 27330 27330 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76805952 14309736448 9378 18446744073709551615 4194304 4196468 140729074849824 140608410213232 140608932506242 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27339] ppid=27330 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27339/stat : 27339 (java) S 27330 27330 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76805953 14309736448 9378 18446744073709551615 4194304 4196468 140729074849824 140608409159200 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27340] ppid=27330 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27340/stat : 27340 (java) S 27330 27330 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76805953 14309736448 9378 18446744073709551615 4194304 4196468 140729074849824 140608408106352 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27341] ppid=27330 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27341/stat : 27341 (java) S 27330 27330 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76805955 14309736448 9378 18446744073709551615 4194304 4196468 140729074849824 140608407054672 140608932513691 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27342] ppid=27330 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27332/task/27342/stat : 27342 (java) S 27330 27330 897 0 -1 1077944384 549 0 0 0 1 0 0 0 20 0 15 0 76805955 14309736448 9378 18446744073709551615 4194304 4196468 140729074849824 140608406002032 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27343] ppid=27330 vsize=13974352 memory=3472328279047811119 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27343/stat : 27343 (java) S 27330 27330 897 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 15 0 76805955 14309736448 9378 18446744073709551615 4194304 4196468 140729074849824 140608404949232 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27344] ppid=27330 vsize=13974352 memory=140223010784896 CPUtime=0.05 cores=0,2,4,6
/proc/27332/task/27344/stat : 27344 (java) R 27330 27330 897 0 -1 4202560 744 0 0 0 5 0 0 0 20 0 15 0 76805955 14309736448 9378 18446744073709551615 4194304 4196468 140729074849824 140608403896432 140608932516442 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27345] ppid=27330 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27345/stat : 27345 (java) S 27330 27330 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76805955 14309736448 9378 18446744073709551615 4194304 4196468 140729074849824 140608402843872 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27346] ppid=27330 vsize=13974352 memory=140223010784896 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27346/stat : 27346 (java) S 27330 27330 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76805962 14309736448 9378 18446744073709551615 4194304 4196468 140729074849824 140608401792176 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38892 KiB
[startup+0.705645 s]
/proc/loadavg: 2.13 1.98 1.90 5/214 27346
/proc/meminfo: memFree=26525660/32770624 swapFree=67108860/67108860
[pid=27330] ppid=27327 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27330/stat : 27330 (xcsp3-exec) S 27327 27330 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 76805941 9740288 345 18446744073709551615 4194304 5098028 140735356954240 140735356952344 140504056279676 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 34373632 140735356961145 140735356961349 140735356961349 140735356964843 0
/proc/27330/statm: 2378 345 289 221 0 87 0
[pid=27332] ppid=27330 vsize=13980732 memory=69984 CPUtime=1.21 cores=0,2,4,6
/proc/27332/stat : 27332 (java) S 27330 27330 897 0 -1 1077944320 11738 0 0 0 116 5 0 0 20 0 15 0 76805950 14316269568 17496 18446744073709551615 4194304 4196468 140729074849824 140729074832368 140608932495095 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
/proc/27332/statm: 3495183 17496 3165 1 0 3483476 0
[pid=27332/tid=27333] ppid=27330 vsize=13980732 memory=7662705889289527641 CPUtime=0.54 cores=0,2,4,6
/proc/27332/task/27333/stat : 27333 (java) R 27330 27330 897 0 -1 1077944384 7551 0 0 0 51 3 0 0 20 0 15 0 76805950 14316269568 17496 18446744073709551615 4194304 4196468 140729074849824 140608936732448 140608932505301 0 4 1 16800974 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27334] ppid=27330 vsize=13980732 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27334/stat : 27334 (java) S 27330 27330 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76805951 14316269568 17496 18446744073709551615 4194304 4196468 140729074849824 140608851909264 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27335] ppid=27330 vsize=13980732 memory=7811891939479414610 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27335/stat : 27335 (java) S 27330 27330 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76805951 14316269568 17496 18446744073709551615 4194304 4196468 140729074849824 140608850856464 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27336] ppid=27330 vsize=13980732 memory=6154282490091891024 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27336/stat : 27336 (java) S 27330 27330 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76805951 14316269568 17496 18446744073709551615 4194304 4196468 140729074849824 140608849803664 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27337] ppid=27330 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27337/stat : 27337 (java) S 27330 27330 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76805951 14316269568 17496 18446744073709551615 4194304 4196468 140729074849824 140608848750864 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27338] ppid=27330 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27338/stat : 27338 (java) S 27330 27330 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76805952 14316269568 17496 18446744073709551615 4194304 4196468 140729074849824 140608410213232 140608932506242 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27339] ppid=27330 vsize=13980732 memory=140222897621040 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27339/stat : 27339 (java) S 27330 27330 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76805953 14316269568 17496 18446744073709551615 4194304 4196468 140729074849824 140608409159200 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27340] ppid=27330 vsize=13980732 memory=140222897621232 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27340/stat : 27340 (java) S 27330 27330 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76805953 14316269568 17496 18446744073709551615 4194304 4196468 140729074849824 140608408106352 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27341] ppid=27330 vsize=13980732 memory=140222897621328 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27341/stat : 27341 (java) S 27330 27330 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76805955 14316269568 17496 18446744073709551615 4194304 4196468 140729074849824 140608407054672 140608932513691 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27342] ppid=27330 vsize=13980732 memory=140222897614320 CPUtime=0.16 cores=0,2,4,6
/proc/27332/task/27342/stat : 27342 (java) R 27330 27330 897 0 -1 4202560 886 0 0 0 16 0 0 0 20 0 15 0 76805955 14316269568 17496 18446744073709551615 4194304 4196468 140729074849824 140608405993488 140608932516442 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27343] ppid=27330 vsize=13980732 memory=280445795606880 CPUtime=0.18 cores=0,2,4,6
/proc/27332/task/27343/stat : 27343 (java) R 27330 27330 897 0 -1 4202560 567 0 0 0 18 0 0 0 20 0 15 0 76805955 14316269568 17496 18446744073709551615 4194304 4196468 140729074849824 140608404936080 140608912151616 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27344] ppid=27330 vsize=13980732 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/27332/task/27344/stat : 27344 (java) S 27330 27330 897 0 -1 1077944384 1426 0 0 0 29 0 0 0 20 0 15 0 76805955 14316269568 17496 18446744073709551615 4194304 4196468 140729074849824 140608403896432 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27345] ppid=27330 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27345/stat : 27345 (java) S 27330 27330 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76805955 14316269568 17496 18446744073709551615 4194304 4196468 140729074849824 140608402843872 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27346] ppid=27330 vsize=13980732 memory=9049877437107372205 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27346/stat : 27346 (java) S 27330 27330 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76805962 14316269568 17496 18446744073709551615 4194304 4196468 140729074849824 140608401792176 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 71364 KiB
[startup+1.50079 s]
/proc/loadavg: 2.13 1.98 1.90 6/214 27346
/proc/meminfo: memFree=26483228/32770624 swapFree=67108860/67108860
[pid=27330] ppid=27327 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27330/stat : 27330 (xcsp3-exec) S 27327 27330 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 76805941 9740288 345 18446744073709551615 4194304 5098028 140735356954240 140735356952344 140504056279676 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 34373632 140735356961145 140735356961349 140735356961349 140735356964843 0
/proc/27330/statm: 2378 345 289 221 0 87 0
[pid=27332] ppid=27330 vsize=13980732 memory=111624 CPUtime=3.59 cores=0,2,4,6
/proc/27332/stat : 27332 (java) S 27330 27330 897 0 -1 1077944320 27409 0 0 0 352 7 0 0 20 0 15 0 76805950 14316269568 27906 18446744073709551615 4194304 4196468 140729074849824 140729074832368 140608932495095 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
/proc/27332/statm: 3495183 27906 3196 1 0 3483476 0
[pid=27332/tid=27333] ppid=27330 vsize=13980732 memory=257603548534152 CPUtime=1.33 cores=0,2,4,6
/proc/27332/task/27333/stat : 27333 (java) R 27330 27330 897 0 -1 4202560 9245 0 0 0 129 4 0 0 20 0 15 0 76805950 14316269568 27906 18446744073709551615 4194304 4196468 140729074849824 140608936732880 140608527408040 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27334] ppid=27330 vsize=13980732 memory=280445795190400 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27334/stat : 27334 (java) S 27330 27330 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76805951 14316269568 27906 18446744073709551615 4194304 4196468 140729074849824 140608851909264 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27335] ppid=27330 vsize=13980732 memory=140222897629848 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27335/stat : 27335 (java) S 27330 27330 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76805951 14316269568 27906 18446744073709551615 4194304 4196468 140729074849824 140608850856464 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27336] ppid=27330 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27336/stat : 27336 (java) S 27330 27330 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76805951 14316269568 27906 18446744073709551615 4194304 4196468 140729074849824 140608849803664 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27337] ppid=27330 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27337/stat : 27337 (java) S 27330 27330 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76805951 14316269568 27906 18446744073709551615 4194304 4196468 140729074849824 140608848750864 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27338] ppid=27330 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27338/stat : 27338 (java) S 27330 27330 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76805952 14316269568 27906 18446744073709551615 4194304 4196468 140729074849824 140608410213232 140608932506242 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27339] ppid=27330 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/27332/task/27340/stat : 27340 (java) S 27330 27330 897 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 76805953 14316269568 1016423 18446744073709551615 4194304 4196468 140729074849824 140608408106368 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27341] ppid=27330 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27341/stat : 27341 (java) S 27330 27330 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76805955 14316269568 1016423 18446744073709551615 4194304 4196468 140729074849824 140608407054672 140608932513691 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27342] ppid=27330 vsize=13980732 memory=4065692 CPUtime=4.3 cores=0,2,4,6
/proc/27332/task/27342/stat : 27342 (java) S 27330 27330 897 0 -1 1077944384 48873 0 0 0 425 5 0 0 20 0 15 0 76805955 14316269568 1016423 18446744073709551615 4194304 4196468 140729074849824 140608406002032 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27343] ppid=27330 vsize=13980732 memory=4065692 CPUtime=4.96 cores=0,2,4,6
/proc/27332/task/27343/stat : 27343 (java) S 27330 27330 897 0 -1 1077944384 42115 0 0 0 492 4 0 0 20 0 15 0 76805955 14316269568 1016423 18446744073709551615 4194304 4196468 140729074849824 140608404949232 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27344] ppid=27330 vsize=13980732 memory=4065692 CPUtime=0.87 cores=0,2,4,6
/proc/27332/task/27344/stat : 27344 (java) S 27330 27330 897 0 -1 1077944384 13875 0 0 0 85 2 0 0 20 0 15 0 76805955 14316269568 1016423 18446744073709551615 4194304 4196468 140729074849824 140608403896432 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27345] ppid=27330 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27345/stat : 27345 (java) S 27330 27330 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76805955 14316269568 1016423 18446744073709551615 4194304 4196468 140729074849824 140608402843872 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27346] ppid=27330 vsize=13980732 memory=4065692 CPUtime=1.17 cores=0,2,4,6
/proc/27332/task/27346/stat : 27346 (java) S 27330 27330 897 0 -1 1077944384 2364 0 0 0 53 64 0 0 20 0 15 0 76805962 14316269568 1016423 18446744073709551615 4194304 4196468 140729074849824 140608401792176 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
Current children cumulated CPU time: 2363.9 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4067072 KiB
[startup+2382.3 s]
/proc/loadavg: 1.96 1.96 1.95 3/211 27548
/proc/meminfo: memFree=23967156/32770624 swapFree=67108860/67108860
[pid=27330] ppid=27327 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27330/stat : 27330 (xcsp3-exec) S 27327 27330 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 76805941 9740288 345 18446744073709551615 4194304 5098028 140735356954240 140735356952344 140504056279676 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 34373632 140735356961145 140735356961349 140735356961349 140735356964843 0
/proc/27330/statm: 2378 345 289 221 0 87 0
[pid=27332] ppid=27330 vsize=13980732 memory=4016956 CPUtime=2424.69 cores=0,2,4,6
/proc/27332/stat : 27332 (java) S 27330 27330 897 0 -1 1077944320 352611 0 0 0 241930 539 0 0 20 0 15 0 76805950 14316269568 1004239 18446744073709551615 4194304 4196468 140729074849824 140729074832368 140608932495095 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
/proc/27332/statm: 3495183 1004239 3260 1 0 3483476 0
[pid=27332/tid=27333] ppid=27330 vsize=13980732 memory=4016956 CPUtime=2371.1 cores=0,2,4,6
/proc/27332/task/27333/stat : 27333 (java) R 27330 27330 897 0 -1 4202560 168416 0 0 0 237077 33 0 0 20 0 15 0 76805950 14316269568 1004239 18446744073709551615 4194304 4196468 140729074849824 140608936734304 140608527519879 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27334] ppid=27330 vsize=13980732 memory=4016956 CPUtime=10.33 cores=0,2,4,6
/proc/27332/task/27334/stat : 27334 (java) S 27330 27330 897 0 -1 1077944384 13511 0 0 0 922 111 0 0 20 0 15 0 76805951 14316269568 1004239 18446744073709551615 4194304 4196468 140729074849824 140608851909264 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27335] ppid=27330 vsize=13980732 memory=4016956 CPUtime=10.36 cores=0,2,4,6
/proc/27332/task/27335/stat : 27335 (java) S 27330 27330 897 0 -1 1077944384 16940 0 0 0 925 111 0 0 20 0 15 0 76805951 14316269568 1004239 18446744073709551615 4194304 4196468 140729074849824 140608850856464 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27336] ppid=27330 vsize=13980732 memory=1380 CPUtime=10.34 cores=0,2,4,6
/proc/27332/task/27336/stat : 27336 (java) S 27330 27330 897 0 -1 1077944384 15291 0 0 0 927 107 0 0 20 0 15 0 76805951 14316269568 1004239 18446744073709551615 4194304 4196468 140729074849824 140608849803664 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27337] ppid=27330 vsize=13980732 memory=280445796021024 CPUtime=10.27 cores=0,2,4,6
/proc/27332/task/27337/stat : 27337 (java) S 27330 27330 897 0 -1 1077944384 15684 0 0 0 917 110 0 0 20 0 15 0 76805951 14316269568 1004239 18446744073709551615 4194304 4196468 140729074849824 140608848750864 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27338] ppid=27330 vsize=13980732 memory=4016956 CPUtime=0.85 cores=0,2,4,6
/proc/27332/task/27338/stat : 27338 (java) S 27330 27330 897 0 -1 1077944384 14123 0 0 0 81 4 0 0 20 0 15 0 76805952 14316269568 1004239 18446744073709551615 4194304 4196468 140729074849824 140608410213232 140608932506242 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27339] ppid=27330 vsize=13980732 memory=4016956 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27339/stat : 27339 (java) S 27330 27330 897 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 76805953 14316269568 1004239 18446744073709551615 4194304 4196468 140729074849824 140608409159264 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27340] ppid=27330 vsize=13980732 memory=4016956 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27340/stat : 27340 (java) S 27330 27330 897 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 76805953 14316269568 1004239 18446744073709551615 4194304 4196468 140729074849824 140608408106368 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27341] ppid=27330 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27341/stat : 27341 (java) S 27330 27330 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76805955 14316269568 1004239 18446744073709551615 4194304 4196468 140729074849824 140608407054672 140608932513691 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27342] ppid=27330 vsize=13980732 memory=1380 CPUtime=4.3 cores=0,2,4,6
/proc/27332/task/27342/stat : 27342 (java) S 27330 27330 897 0 -1 1077944384 48881 0 0 0 425 5 0 0 20 0 15 0 76805955 14316269568 1004239 18446744073709551615 4194304 4196468 140729074849824 140608406002032 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27343] ppid=27330 vsize=13980732 memory=1380 CPUtime=4.96 cores=0,2,4,6
/proc/27332/task/27343/stat : 27343 (java) S 27330 27330 897 0 -1 1077944384 42118 0 0 0 492 4 0 0 20 0 15 0 76805955 14316269568 1004239 18446744073709551615 4194304 4196468 140729074849824 140608404949232 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27344] ppid=27330 vsize=13980732 memory=1380 CPUtime=0.88 cores=0,2,4,6
/proc/27332/task/27344/stat : 27344 (java) S 27330 27330 897 0 -1 1077944384 13878 0 0 0 86 2 0 0 20 0 15 0 76805955 14316269568 1004239 18446744073709551615 4194304 4196468 140729074849824 140608403896432 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27345] ppid=27330 vsize=13980732 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27345/stat : 27345 (java) S 27330 27330 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76805955 14316269568 1004239 18446744073709551615 4194304 4196468 140729074849824 140608402843872 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27346] ppid=27330 vsize=13980732 memory=928 CPUtime=1.2 cores=0,2,4,6
/proc/27332/task/27346/stat : 27346 (java) S 27330 27330 897 0 -1 1077944384 2397 0 0 0 55 65 0 0 20 0 15 0 76805962 14316269568 1004239 18446744073709551615 4194304 4196468 140729074849824 140608401792176 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
Current children cumulated CPU time: 2424.69 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4018336 KiB
[startup+2442.3 s]
/proc/loadavg: 2.06 2.00 1.97 3/215 27565
/proc/meminfo: memFree=24014816/32770624 swapFree=67108860/67108860
[pid=27330] ppid=27327 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27330/stat : 27330 (xcsp3-exec) S 27327 27330 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 76805941 9740288 345 18446744073709551615 4194304 5098028 140735356954240 140735356952344 140504056279676 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 34373632 140735356961145 140735356961349 140735356961349 140735356964843 0
/proc/27330/statm: 2378 345 289 221 0 87 0
[pid=27332] ppid=27330 vsize=13980732 memory=3983104 CPUtime=2485.52 cores=0,2,4,6
/proc/27332/stat : 27332 (java) S 27330 27330 897 0 -1 1077944320 357830 0 0 0 248012 540 0 0 20 0 15 0 76805950 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140729074832368 140608932495095 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
/proc/27332/statm: 3495183 995776 3260 1 0 3483476 0
[pid=27332/tid=27333] ppid=27330 vsize=13980732 memory=1380 CPUtime=2430.84 cores=0,2,4,6
/proc/27332/task/27333/stat : 27333 (java) R 27330 27330 897 0 -1 4202560 171011 0 0 0 243051 33 0 0 20 0 15 0 76805950 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608936733768 140608528023908 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27334] ppid=27330 vsize=13980732 memory=3983104 CPUtime=10.6 cores=0,2,4,6
/proc/27332/task/27334/stat : 27334 (java) S 27330 27330 897 0 -1 1077944384 14504 0 0 0 949 111 0 0 20 0 15 0 76805951 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608851909264 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27335] ppid=27330 vsize=13980732 memory=3983104 CPUtime=10.63 cores=0,2,4,6
/proc/27332/task/27335/stat : 27335 (java) S 27330 27330 897 0 -1 1077944384 17095 0 0 0 952 111 0 0 20 0 15 0 76805951 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608850856464 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27336] ppid=27330 vsize=13980732 memory=4016956 CPUtime=10.61 cores=0,2,4,6
/proc/27332/task/27336/stat : 27336 (java) S 27330 27330 897 0 -1 1077944384 15457 0 0 0 954 107 0 0 20 0 15 0 76805951 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608849803664 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27337] ppid=27330 vsize=13980732 memory=3983104 CPUtime=10.54 cores=0,2,4,6
/proc/27332/task/27337/stat : 27337 (java) S 27330 27330 897 0 -1 1077944384 16095 0 0 0 944 110 0 0 20 0 15 0 76805951 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608848750864 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27338] ppid=27330 vsize=13980732 memory=3983104 CPUtime=0.85 cores=0,2,4,6
/proc/27332/task/27338/stat : 27338 (java) S 27330 27330 897 0 -1 1077944384 14356 0 0 0 81 4 0 0 20 0 15 0 76805952 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608410213232 140608932506242 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27339] ppid=27330 vsize=13980732 memory=3983104 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27339/stat : 27339 (java) S 27330 27330 897 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 76805953 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608409159264 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27340] ppid=27330 vsize=13980732 memory=3983104 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27340/stat : 27340 (java) S 27330 27330 897 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 76805953 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608408106368 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27341] ppid=27330 vsize=13980732 memory=3983104 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27341/stat : 27341 (java) S 27330 27330 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76805955 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608407054672 140608932513691 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27342] ppid=27330 vsize=13980732 memory=3983104 CPUtime=4.3 cores=0,2,4,6
/proc/27332/task/27342/stat : 27342 (java) S 27330 27330 897 0 -1 1077944384 48889 0 0 0 425 5 0 0 20 0 15 0 76805955 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608406002032 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27343] ppid=27330 vsize=13980732 memory=1380 CPUtime=4.96 cores=0,2,4,6
/proc/27332/task/27343/stat : 27343 (java) S 27330 27330 897 0 -1 1077944384 42121 0 0 0 492 4 0 0 20 0 15 0 76805955 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608404949232 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27344] ppid=27330 vsize=13980732 memory=1380 CPUtime=0.88 cores=0,2,4,6
/proc/27332/task/27344/stat : 27344 (java) S 27330 27330 897 0 -1 1077944384 14502 0 0 0 86 2 0 0 20 0 15 0 76805955 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608403896432 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27345] ppid=27330 vsize=13980732 memory=3983104 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27345/stat : 27345 (java) S 27330 27330 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76805955 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608402843872 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27346] ppid=27330 vsize=13980732 memory=3983104 CPUtime=1.23 cores=0,2,4,6
/proc/27332/task/27346/stat : 27346 (java) S 27330 27330 897 0 -1 1077944384 2428 0 0 0 57 66 0 0 20 0 15 0 76805962 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608401792176 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
Current children cumulated CPU time: 2485.52 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3984484 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2476.8 s]
/proc/loadavg: 2.03 2.00 1.97 3/215 27566
/proc/meminfo: memFree=24023068/32770624 swapFree=67108860/67108860
[pid=27330] ppid=27327 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27330/stat : 27330 (xcsp3-exec) S 27327 27330 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 76805941 9740288 345 18446744073709551615 4194304 5098028 140735356954240 140735356952344 140504056279676 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 34373632 140735356961145 140735356961349 140735356961349 140735356964843 0
/proc/27330/statm: 2378 345 289 221 0 87 0
[pid=27332] ppid=27330 vsize=13980732 memory=3983104 CPUtime=2520.05 cores=0,2,4,6
/proc/27332/stat : 27332 (java) S 27330 27330 897 0 -1 1077944320 361076 0 0 0 251464 541 0 0 20 0 15 0 76805950 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140729074832368 140608932495095 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
/proc/27332/statm: 3495183 995776 3260 1 0 3483476 0
[pid=27332/tid=27333] ppid=27330 vsize=13980732 memory=2316 CPUtime=2465.34 cores=0,2,4,6
/proc/27332/task/27333/stat : 27333 (java) R 27330 27330 897 0 -1 4202560 173155 0 0 0 246501 33 0 0 20 0 15 0 76805950 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608936731296 140608529316544 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27334] ppid=27330 vsize=13980732 memory=1728 CPUtime=10.6 cores=0,2,4,6
/proc/27332/task/27334/stat : 27334 (java) S 27330 27330 897 0 -1 1077944384 14504 0 0 0 949 111 0 0 20 0 15 0 76805951 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608851909264 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27335] ppid=27330 vsize=13980732 memory=1380 CPUtime=10.63 cores=0,2,4,6
/proc/27332/task/27335/stat : 27335 (java) S 27330 27330 897 0 -1 1077944384 17095 0 0 0 952 111 0 0 20 0 15 0 76805951 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608850856464 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27336] ppid=27330 vsize=13980732 memory=3983104 CPUtime=10.61 cores=0,2,4,6
/proc/27332/task/27336/stat : 27336 (java) S 27330 27330 897 0 -1 1077944384 15457 0 0 0 954 107 0 0 20 0 15 0 76805951 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608849803664 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27337] ppid=27330 vsize=13980732 memory=1380 CPUtime=10.54 cores=0,2,4,6
/proc/27332/task/27337/stat : 27337 (java) S 27330 27330 897 0 -1 1077944384 16095 0 0 0 944 110 0 0 20 0 15 0 76805951 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608848750864 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27338] ppid=27330 vsize=13980732 memory=3983104 CPUtime=0.85 cores=0,2,4,6
/proc/27332/task/27338/stat : 27338 (java) S 27330 27330 897 0 -1 1077944384 14402 0 0 0 81 4 0 0 20 0 15 0 76805952 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608410213232 140608932506242 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27339] ppid=27330 vsize=13980732 memory=3983104 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27339/stat : 27339 (java) S 27330 27330 897 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 76805953 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608409159264 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27340] ppid=27330 vsize=13980732 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27340/stat : 27340 (java) S 27330 27330 897 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 76805953 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608408106368 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27341] ppid=27330 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27341/stat : 27341 (java) S 27330 27330 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76805955 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608407054672 140608932513691 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27342] ppid=27330 vsize=13980732 memory=796 CPUtime=4.32 cores=0,2,4,6
/proc/27332/task/27342/stat : 27342 (java) S 27330 27330 897 0 -1 1077944384 49906 0 0 0 427 5 0 0 20 0 15 0 76805955 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608406002032 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27343] ppid=27330 vsize=13980732 memory=1380 CPUtime=4.96 cores=0,2,4,6
/proc/27332/task/27343/stat : 27343 (java) S 27330 27330 897 0 -1 1077944384 42124 0 0 0 492 4 0 0 20 0 15 0 76805955 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608404949232 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27344] ppid=27330 vsize=13980732 memory=5788 CPUtime=0.88 cores=0,2,4,6
/proc/27332/task/27344/stat : 27344 (java) S 27330 27330 897 0 -1 1077944384 14505 0 0 0 86 2 0 0 20 0 15 0 76805955 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608403896432 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27345] ppid=27330 vsize=13980732 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27345/stat : 27345 (java) S 27330 27330 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76805955 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608402843872 140608932505301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
[pid=27332/tid=27346] ppid=27330 vsize=13980732 memory=4616 CPUtime=1.24 cores=0,2,4,6
/proc/27332/task/27346/stat : 27346 (java) S 27330 27330 897 0 -1 1077944384 2461 0 0 0 58 66 0 0 20 0 15 0 76805962 14316269568 995776 18446744073709551615 4194304 4196468 140729074849824 140608401792176 140608932506242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34652160 140729074852273 140729074852449 140729074852449 140729074855887 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3984484 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2476.82 s]
# the end of solver process 27330 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001673 s, system=0.000983 s
[startup+2476.83 s]
# the end of solver process 27332 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.66 s, system=5.43746 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2476.83
CPU time (s): 2520.09
CPU user time (s): 2514.66
CPU system time (s): 5.43746
CPU usage (%): 101.747
Max. virtual memory (cumulated for all children) (KiB): 13992320
Max. memory (cumulated for all children) (KiB): 4757564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.66
system time used= 5.43746
maximum resident set size= 4756184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362073
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58761
involuntary context switches= 1494
# summary of solver processes directly reported to runsolver:
# pid: 27330,27332
# total CPU time (s): 2520.09
# total CPU user time (s): 2514.66
# total CPU system time (s): 5.43746
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9958 second user time and 20.2284 second system time
The end