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 (15303 MiB free)
memory of node 1: 16384 MiB (15266 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283371-1503207385/watcher-4283371-1503207385 -o /tmp/evaluation-result-4283371-1503207385/solver-4283371-1503207385 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node130-1503172050-30419 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 232237343 HOME/instance-4283371-1503207385.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
solver pid=4400, runsolver pid=4397
Current StackSize limit: 8192 KiB
[startup+0.100119 s]*
/proc/loadavg: 3.98 3.31 2.54 3/198 4403
/proc/meminfo: memFree=31302000/32770624 swapFree=67108860/67108860
[pid=4400] ppid=4397 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4400/stat : 4400 (xcsp3-exec) S 4397 4400 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19146476 9740288 345 18446744073709551615 4194304 5098028 140722085840048 140722085838152 140055403610748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 22740992 140722085847418 140722085847622 140722085847622 140722085851115 0
/proc/4400/statm: 2378 345 289 221 0 87 0
[pid=4402] ppid=4400 vsize=13356504 memory=10920 CPUtime=0 cores=0,2,4,6
/proc/4402/stat : 4402 (java) S 4400 4400 15523 0 -1 1077944320 2513 0 0 0 0 0 0 0 20 0 6 0 19146486 13677060096 2730 18446744073709551615 4194304 4196468 140734530884064 140734530866608 140504510029559 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
/proc/4402/statm: 3339126 2730 1261 1 0 3329096 0
[pid=4402/tid=4403] ppid=4400 vsize=13358712 memory=1404226546353086858 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4403/stat : 4403 (java) R 4400 4400 15523 0 -1 4202560 1450 0 0 0 0 0 0 0 20 0 6 0 19146486 13679321088 3443 18446744073709551615 4194304 4196468 140734530884064 140504514265680 140504471011190 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4404] ppid=4400 vsize=13358712 memory=3691042058319900680 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4404/stat : 4404 (java) S 4400 4400 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 19146487 13679321088 3443 18446744073709551615 4194304 4196468 140734530884064 140504429443984 140504510039765 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4405] ppid=4400 vsize=13358712 memory=140295112296064 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4405/stat : 4405 (java) S 4400 4400 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 19146487 13679321088 3443 18446744073709551615 4194304 4196468 140734530884064 140504428391184 140504510039765 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4406] ppid=4400 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4406/stat : 4406 (java) S 4400 4400 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 19146487 13679321088 3443 18446744073709551615 4194304 4196468 140734530884064 140504427338896 140504510039765 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4407] ppid=4400 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4407/stat : 4407 (java) S 4400 4400 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 19146487 13679321088 3443 18446744073709551615 4194304 4196468 140734530884064 140504426286096 140504510039765 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13366016 KiB
Current children cumulated memory: 12300 KiB
[startup+0.21143 s]*
/proc/loadavg: 3.98 3.31 2.54 3/211 4416
/proc/meminfo: memFree=31288656/32770624 swapFree=67108860/67108860
[pid=4400] ppid=4397 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4400/stat : 4400 (xcsp3-exec) S 4397 4400 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19146476 9740288 345 18446744073709551615 4194304 5098028 140722085840048 140722085838152 140055403610748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 22740992 140722085847418 140722085847622 140722085847622 140722085851115 0
/proc/4400/statm: 2378 345 289 221 0 87 0
[pid=4402] ppid=4400 vsize=13974352 memory=27940 CPUtime=0.09 cores=0,2,4,6
/proc/4402/stat : 4402 (java) S 4400 4400 15523 0 -1 1077944320 4909 0 0 0 8 1 0 0 20 0 15 0 19146486 14309736448 6985 18446744073709551615 4194304 4196468 140734530884064 140734530866608 140504510029559 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
/proc/4402/statm: 3493588 6985 2730 1 0 3482964 0
[pid=4402/tid=4403] ppid=4400 vsize=13974352 memory=7022364594140610616 CPUtime=0.06 cores=0,2,4,6
/proc/4402/task/4403/stat : 4403 (java) R 4400 4400 15523 0 -1 4202560 3069 0 0 0 6 0 0 0 20 0 15 0 19146486 14309736448 6985 18446744073709551615 4194304 4196468 140734530884064 140504514260656 140504502707573 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4404] ppid=4400 vsize=13974352 memory=4294976238 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4404/stat : 4404 (java) S 4400 4400 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19146487 14309736448 6985 18446744073709551615 4194304 4196468 140734530884064 140504429443984 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4405] ppid=4400 vsize=13974352 memory=140295112352040 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4405/stat : 4405 (java) S 4400 4400 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19146487 14309736448 6985 18446744073709551615 4194304 4196468 140734530884064 140504428391184 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4406] ppid=4400 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4406/stat : 4406 (java) S 4400 4400 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19146487 14309736448 6985 18446744073709551615 4194304 4196468 140734530884064 140504427338896 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4407] ppid=4400 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4407/stat : 4407 (java) S 4400 4400 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19146487 14309736448 6985 18446744073709551615 4194304 4196468 140734530884064 140504426286096 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4408] ppid=4400 vsize=13974352 memory=140295112296064 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4408/stat : 4408 (java) S 4400 4400 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19146488 14309736448 6985 18446744073709551615 4194304 4196468 140734530884064 140503987767408 140504510040706 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4409] ppid=4400 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4409/stat : 4409 (java) S 4400 4400 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19146489 14309736448 6985 18446744073709551615 4194304 4196468 140734530884064 140503986713376 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4410] ppid=4400 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4410/stat : 4410 (java) S 4400 4400 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19146489 14309736448 6985 18446744073709551615 4194304 4196468 140734530884064 140503985661040 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4411] ppid=4400 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4411/stat : 4411 (java) S 4400 4400 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19146491 14309736448 6985 18446744073709551615 4194304 4196468 140734530884064 140503984609360 140504510048155 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4412] ppid=4400 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4412/stat : 4412 (java) S 4400 4400 15523 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 19146491 14309736448 6985 18446744073709551615 4194304 4196468 140734530884064 140503983557232 140504510040706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4413] ppid=4400 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4413/stat : 4413 (java) S 4400 4400 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19146491 14309736448 6985 18446744073709551615 4194304 4196468 140734530884064 140503982504432 140504510040706 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4414] ppid=4400 vsize=13974352 memory=140295112296064 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4414/stat : 4414 (java) R 4400 4400 15523 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 15 0 19146491 14309736448 6985 18446744073709551615 4194304 4196468 140734530884064 140503981452144 140504510040706 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4415] ppid=4400 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4415/stat : 4415 (java) S 4400 4400 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19146491 14309736448 6985 18446744073709551615 4194304 4196468 140734530884064 140503980399584 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4416] ppid=4400 vsize=13974352 memory=140295112296064 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4416/stat : 4416 (java) S 4400 4400 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19146496 14309736448 6985 18446744073709551615 4194304 4196468 140734530884064 140503979346352 140504510040706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29320 KiB
[startup+0.310269 s]*
/proc/loadavg: 3.98 3.31 2.54 3/211 4416
/proc/meminfo: memFree=31274948/32770624 swapFree=67108860/67108860
[pid=4400] ppid=4397 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4400/stat : 4400 (xcsp3-exec) S 4397 4400 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19146476 9740288 345 18446744073709551615 4194304 5098028 140722085840048 140722085838152 140055403610748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 22740992 140722085847418 140722085847622 140722085847622 140722085851115 0
/proc/4400/statm: 2378 345 289 221 0 87 0
[pid=4402] ppid=4400 vsize=13974352 memory=37580 CPUtime=0.26 cores=0,2,4,6
/proc/4402/stat : 4402 (java) S 4400 4400 15523 0 -1 1077944320 8460 0 0 0 24 2 0 0 20 0 15 0 19146486 14309736448 9395 18446744073709551615 4194304 4196468 140734530884064 140734530866608 140504510029559 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
/proc/4402/statm: 3493588 9395 2977 1 0 3482964 0
[pid=4402/tid=4403] ppid=4400 vsize=13974352 memory=6933928925625698159 CPUtime=0.17 cores=0,2,4,6
/proc/4402/task/4403/stat : 4403 (java) R 4400 4400 15523 0 -1 4202560 5690 0 0 0 15 2 0 0 20 0 15 0 19146486 14309736448 9395 18446744073709551615 4194304 4196468 140734530884064 140504514251936 140504510041494 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4404] ppid=4400 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4404/stat : 4404 (java) S 4400 4400 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19146487 14309736448 9395 18446744073709551615 4194304 4196468 140734530884064 140504429443984 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4405] ppid=4400 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4405/stat : 4405 (java) S 4400 4400 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19146487 14309736448 9395 18446744073709551615 4194304 4196468 140734530884064 140504428391184 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4406] ppid=4400 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4406/stat : 4406 (java) S 4400 4400 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19146487 14309736448 9395 18446744073709551615 4194304 4196468 140734530884064 140504427338896 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4407] ppid=4400 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4407/stat : 4407 (java) S 4400 4400 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19146487 14309736448 9395 18446744073709551615 4194304 4196468 140734530884064 140504426286096 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4408] ppid=4400 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4408/stat : 4408 (java) S 4400 4400 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19146488 14309736448 9395 18446744073709551615 4194304 4196468 140734530884064 140503987767408 140504510040706 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4409] ppid=4400 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4409/stat : 4409 (java) S 4400 4400 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19146489 14309736448 9395 18446744073709551615 4194304 4196468 140734530884064 140503986713376 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4410] ppid=4400 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4410/stat : 4410 (java) S 4400 4400 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19146489 14309736448 9395 18446744073709551615 4194304 4196468 140734530884064 140503985661040 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4411] ppid=4400 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4411/stat : 4411 (java) S 4400 4400 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19146491 14309736448 9395 18446744073709551615 4194304 4196468 140734530884064 140503984609360 140504510048155 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4412] ppid=4400 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4402/task/4412/stat : 4412 (java) S 4400 4400 15523 0 -1 1077944384 426 0 0 0 2 0 0 0 20 0 15 0 19146491 14309736448 9395 18446744073709551615 4194304 4196468 140734530884064 140503983557232 140504510040706 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4413] ppid=4400 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/4402/task/4413/stat : 4413 (java) S 4400 4400 15523 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 15 0 19146491 14309736448 9395 18446744073709551615 4194304 4196468 140734530884064 140503982504432 140504510040706 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4414] ppid=4400 vsize=13974352 memory=140295112296064 CPUtime=0.05 cores=0,2,4,6
/proc/4402/task/4414/stat : 4414 (java) R 4400 4400 15523 0 -1 4202560 741 0 0 0 5 0 0 0 20 0 15 0 19146491 14309736448 9395 18446744073709551615 4194304 4196468 140734530884064 140503981452272 140504489296640 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4415] ppid=4400 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4415/stat : 4415 (java) S 4400 4400 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19146491 14309736448 9395 18446744073709551615 4194304 4196468 140734530884064 140503980399584 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4416] ppid=4400 vsize=13974352 memory=140295112296064 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4416/stat : 4416 (java) S 4400 4400 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19146496 14309736448 9395 18446744073709551615 4194304 4196468 140734530884064 140503979346352 140504510040706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38960 KiB
[startup+0.700768 s]
/proc/loadavg: 3.98 3.31 2.54 4/211 4416
/proc/meminfo: memFree=31258024/32770624 swapFree=67108860/67108860
[pid=4400] ppid=4397 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4400/stat : 4400 (xcsp3-exec) S 4397 4400 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19146476 9740288 345 18446744073709551615 4194304 5098028 140722085840048 140722085838152 140055403610748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 22740992 140722085847418 140722085847622 140722085847622 140722085851115 0
/proc/4400/statm: 2378 345 289 221 0 87 0
[pid=4402] ppid=4400 vsize=13978684 memory=89824 CPUtime=1.36 cores=0,2,4,6
/proc/4402/stat : 4402 (java) S 4400 4400 15523 0 -1 1077944320 13057 0 0 0 130 6 0 0 20 0 15 0 19146486 14314172416 22456 18446744073709551615 4194304 4196468 140734530884064 140734530866608 140504510029559 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
/proc/4402/statm: 3494671 22456 3163 1 0 3482964 0
[pid=4402/tid=4403] ppid=4400 vsize=13978684 memory=33 CPUtime=0.54 cores=0,2,4,6
/proc/4402/task/4403/stat : 4403 (java) R 4400 4400 15523 0 -1 4202560 7429 0 0 0 51 3 0 0 20 0 15 0 19146486 14314172416 22456 18446744073709551615 4194304 4196468 140734530884064 140504514264880 140504100602256 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4404] ppid=4400 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4404/stat : 4404 (java) S 4400 4400 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19146487 14314172416 22456 18446744073709551615 4194304 4196468 140734530884064 140504429443984 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4405] ppid=4400 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4405/stat : 4405 (java) S 4400 4400 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19146487 14314172416 22456 18446744073709551615 4194304 4196468 140734530884064 140504428391184 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4406] ppid=4400 vsize=13978684 memory=652 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4406/stat : 4406 (java) S 4400 4400 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19146487 14314172416 22456 18446744073709551615 4194304 4196468 140734530884064 140504427338896 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4407] ppid=4400 vsize=13978684 memory=120 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4407/stat : 4407 (java) S 4400 4400 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19146487 14314172416 22456 18446744073709551615 4194304 4196468 140734530884064 140504426286096 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4408] ppid=4400 vsize=13978684 memory=88 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4408/stat : 4408 (java) S 4400 4400 15523 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 19146488 14314172416 22456 18446744073709551615 4194304 4196468 140734530884064 140503987767408 140504510040706 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4409] ppid=4400 vsize=13978684 memory=251 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4409/stat : 4409 (java) S 4400 4400 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19146489 14314172416 22456 18446744073709551615 4194304 4196468 140734530884064 140503986713376 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4410] ppid=4400 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4410/stat : 4410 (java) S 4400 4400 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19146489 14314172416 22456 18446744073709551615 4194304 4196468 140734530884064 140503985661040 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4411] ppid=4400 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4411/stat : 4411 (java) S 4400 4400 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19146491 14314172416 22456 18446744073709551615 4194304 4196468 140734530884064 140503984609360 140504510048155 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4412] ppid=4400 vsize=13978684 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/4402/task/4412/stat : 4412 (java) R 4400 4400 15523 0 -1 4202560 1441 0 0 0 24 1 0 0 20 0 15 0 19146491 14314172416 22456 18446744073709551615 4194304 4196468 140734530884064 140503983543368 140504491573282 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4413] ppid=4400 vsize=13978684 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/4402/task/4413/stat : 4413 (java) R 4400 4400 15523 0 -1 4202560 1262 0 0 0 25 0 0 0 20 0 15 0 19146491 14314172416 22456 18446744073709551615 4194304 4196468 140734530884064 140503982490528 140504495155781 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4414] ppid=4400 vsize=13978684 memory=2 CPUtime=0.28 cores=0,2,4,6
/proc/4402/task/4414/stat : 4414 (java) R 4400 4400 15523 0 -1 1077944384 1617 0 0 0 28 0 0 0 20 0 15 0 19146491 14314172416 22456 18446744073709551615 4194304 4196468 140734530884064 140503981452144 140504510040706 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4415] ppid=4400 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4415/stat : 4415 (java) S 4400 4400 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19146491 14314172416 22456 18446744073709551615 4194304 4196468 140734530884064 140503980399584 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4416] ppid=4400 vsize=13978684 memory=4 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4416/stat : 4416 (java) S 4400 4400 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19146496 14314172416 22456 18446744073709551615 4194304 4196468 140734530884064 140503979346352 140504510040706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 91204 KiB
[startup+1.50078 s]
/proc/loadavg: 3.98 3.31 2.54 5/211 4416
/proc/meminfo: memFree=31189708/32770624 swapFree=67108860/67108860
[pid=4400] ppid=4397 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4400/stat : 4400 (xcsp3-exec) S 4397 4400 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19146476 9740288 345 18446744073709551615 4194304 5098028 140722085840048 140722085838152 140055403610748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 22740992 140722085847418 140722085847622 140722085847622 140722085851115 0
/proc/4400/statm: 2378 345 289 221 0 87 0
[pid=4402] ppid=4400 vsize=13980732 memory=207512 CPUtime=3.77 cores=0,2,4,6
/proc/4402/stat : 4402 (java) S 4400 4400 15523 0 -1 1077944320 15670 0 0 0 366 11 0 0 20 0 15 0 19146486 14316269568 51878 18446744073709551615 4194304 4196468 140734530884064 140734530866608 140504510029559 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
/proc/4402/statm: 3495183 51878 3218 1 0 3483476 0
[pid=4402/tid=4403] ppid=4400 vsize=13980732 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/4402/task/4403/stat : 4403 (java) R 4400 4400 15523 0 -1 4202560 8591 0 0 0 127 5 0 0 20 0 15 0 19146486 14316269568 51878 18446744073709551615 4194304 4196468 140734530884064 140504514264240 140504510041494 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4404] ppid=4400 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4402/task/4404/stat : 4404 (java) S 4400 4400 15523 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 15 0 19146487 14316269568 51878 18446744073709551615 4194304 4196468 140734530884064 140504429443984 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4405] ppid=4400 vsize=13980732 memory=33 CPUtime=0.01 cores=0,2,4,6
/proc/4402/task/4405/stat : 4405 (java) S 4400 4400 15523 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 19146487 14316269568 51878 18446744073709551615 4194304 4196468 140734530884064 140504428391184 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4406] ppid=4400 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4402/task/4406/stat : 4406 (java) S 4400 4400 15523 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 15 0 19146487 14316269568 51878 18446744073709551615 4194304 4196468 140734530884064 140504427338896 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4407] ppid=4400 vsize=13980732 memory=280589945090656 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4407/stat : 4407 (java) S 4400 4400 15523 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 19146487 14316269568 51878 18446744073709551615 4194304 4196468 140734530884064 140504426286096 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4408] ppid=4400 vsize=13980732 memory=33 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4408/stat : 4408 (java) S 4400 4400 15523 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 19146488 14316269568 51878 18446744073709551615 4194304 4196468 140734530884064 140503987767408 140504510040706 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4409] ppid=4400 vsize=13980732 memory=7679373425970869011 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4409/stat : 4409 (java) S 4400 4400 15523 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 19146489 14316269568 51878 18446744073709551615 4194304 4196468 140734530884064 140503986713376 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4410] ppid=4400 vsize=13980732 memory=-6861001314482542224 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/4402/task/4410/stat : 4410 (java) S 4400 4400 15523 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 19146489 14318366720 481771 18446744073709551615 4194304 4196468 140734530884064 140503985661056 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4411] ppid=4400 vsize=13982780 memory=1927084 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4411/stat : 4411 (java) S 4400 4400 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19146491 14318366720 481771 18446744073709551615 4194304 4196468 140734530884064 140503984609360 140504510048155 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4412] ppid=4400 vsize=13982780 memory=1380 CPUtime=5.93 cores=0,2,4,6
/proc/4402/task/4412/stat : 4412 (java) S 4400 4400 15523 0 -1 1077944384 37535 0 0 0 589 4 0 0 20 0 15 0 19146491 14318366720 481771 18446744073709551615 4194304 4196468 140734530884064 140503983557232 140504510040706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4413] ppid=4400 vsize=13982780 memory=1927084 CPUtime=5.18 cores=0,2,4,6
/proc/4402/task/4413/stat : 4413 (java) S 4400 4400 15523 0 -1 1077944384 30365 0 0 0 514 4 0 0 20 0 15 0 19146491 14318366720 481771 18446744073709551615 4194304 4196468 140734530884064 140503982504432 140504510040706 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4414] ppid=4400 vsize=13982780 memory=1380 CPUtime=1.08 cores=0,2,4,6
/proc/4402/task/4414/stat : 4414 (java) S 4400 4400 15523 0 -1 1077944384 12519 0 0 0 105 3 0 0 20 0 15 0 19146491 14318366720 481771 18446744073709551615 4194304 4196468 140734530884064 140503981452144 140504510040706 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4415] ppid=4400 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4415/stat : 4415 (java) S 4400 4400 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19146491 14318366720 481771 18446744073709551615 4194304 4196468 140734530884064 140503980399584 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4416] ppid=4400 vsize=13982780 memory=1927084 CPUtime=0.84 cores=0,2,4,6
/proc/4402/task/4416/stat : 4416 (java) S 4400 4400 15523 0 -1 1077944384 3271 0 0 0 41 43 0 0 20 0 15 0 19146496 14318366720 481771 18446744073709551615 4194304 4196468 140734530884064 140503979346352 140504510040706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
Current children cumulated CPU time: 2373.42 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 1928464 KiB
[startup+2382.3 s]
/proc/loadavg: 1.67 1.83 1.92 3/215 4661
/proc/meminfo: memFree=29273180/32770624 swapFree=67108860/67108860
[pid=4400] ppid=4397 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4400/stat : 4400 (xcsp3-exec) S 4397 4400 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19146476 9740288 345 18446744073709551615 4194304 5098028 140722085840048 140722085838152 140055403610748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 22740992 140722085847418 140722085847622 140722085847622 140722085851115 0
/proc/4400/statm: 2378 345 289 221 0 87 0
[pid=4402] ppid=4400 vsize=13982780 memory=1869116 CPUtime=2434.09 cores=0,2,4,6
/proc/4402/stat : 4402 (java) S 4400 4400 15523 0 -1 1077944320 231051 0 0 0 243098 311 0 0 20 0 15 0 19146486 14318366720 467279 18446744073709551615 4194304 4196468 140734530884064 140734530866608 140504510029559 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
/proc/4402/statm: 3495695 467279 3260 1 0 3483988 0
[pid=4402/tid=4403] ppid=4400 vsize=13982780 memory=1869116 CPUtime=2367.85 cores=0,2,4,6
/proc/4402/task/4403/stat : 4403 (java) R 4400 4400 15523 0 -1 4202560 56715 0 0 0 236768 17 0 0 20 0 15 0 19146486 14318366720 467279 18446744073709551615 4194304 4196468 140734530884064 140504514268864 140504108346255 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4404] ppid=4400 vsize=13982780 memory=1869116 CPUtime=13.15 cores=0,2,4,6
/proc/4402/task/4404/stat : 4404 (java) S 4400 4400 15523 0 -1 1077944384 16755 0 0 0 1256 59 0 0 20 0 15 0 19146487 14318366720 467279 18446744073709551615 4194304 4196468 140734530884064 140504429443984 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4405] ppid=4400 vsize=13982780 memory=1869116 CPUtime=13.05 cores=0,2,4,6
/proc/4402/task/4405/stat : 4405 (java) S 4400 4400 15523 0 -1 1077944384 13862 0 0 0 1243 62 0 0 20 0 15 0 19146487 14318366720 467279 18446744073709551615 4194304 4196468 140734530884064 140504428391184 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4406] ppid=4400 vsize=13982780 memory=1869116 CPUtime=13.1 cores=0,2,4,6
/proc/4402/task/4406/stat : 4406 (java) S 4400 4400 15523 0 -1 1077944384 13170 0 0 0 1250 60 0 0 20 0 15 0 19146487 14318366720 467279 18446744073709551615 4194304 4196468 140734530884064 140504427338896 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4407] ppid=4400 vsize=13982780 memory=1380 CPUtime=13.07 cores=0,2,4,6
/proc/4402/task/4407/stat : 4407 (java) S 4400 4400 15523 0 -1 1077944384 13498 0 0 0 1247 60 0 0 20 0 15 0 19146487 14318366720 467279 18446744073709551615 4194304 4196468 140734530884064 140504426286096 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4408] ppid=4400 vsize=13982780 memory=840 CPUtime=0.72 cores=0,2,4,6
/proc/4402/task/4408/stat : 4408 (java) S 4400 4400 15523 0 -1 1077944384 32017 0 0 0 67 5 0 0 20 0 15 0 19146488 14318366720 467279 18446744073709551615 4194304 4196468 140734530884064 140503987767408 140504510040706 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4409] ppid=4400 vsize=13982780 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4409/stat : 4409 (java) S 4400 4400 15523 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 19146489 14318366720 467279 18446744073709551615 4194304 4196468 140734530884064 140503986713440 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4410] ppid=4400 vsize=13982780 memory=1869116 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4410/stat : 4410 (java) S 4400 4400 15523 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 19146489 14318366720 467279 18446744073709551615 4194304 4196468 140734530884064 140503985661056 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4411] ppid=4400 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4411/stat : 4411 (java) S 4400 4400 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19146491 14318366720 467279 18446744073709551615 4194304 4196468 140734530884064 140503984609360 140504510048155 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4412] ppid=4400 vsize=13982780 memory=1899896 CPUtime=5.93 cores=0,2,4,6
/proc/4402/task/4412/stat : 4412 (java) S 4400 4400 15523 0 -1 1077944384 37539 0 0 0 589 4 0 0 20 0 15 0 19146491 14318366720 467279 18446744073709551615 4194304 4196468 140734530884064 140503983557232 140504510040706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4413] ppid=4400 vsize=13982780 memory=4198373884061773715 CPUtime=5.18 cores=0,2,4,6
/proc/4402/task/4413/stat : 4413 (java) S 4400 4400 15523 0 -1 1077944384 30367 0 0 0 514 4 0 0 20 0 15 0 19146491 14318366720 467279 18446744073709551615 4194304 4196468 140734530884064 140503982504432 140504510040706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4414] ppid=4400 vsize=13982780 memory=1008 CPUtime=1.08 cores=0,2,4,6
/proc/4402/task/4414/stat : 4414 (java) S 4400 4400 15523 0 -1 1077944384 12521 0 0 0 105 3 0 0 20 0 15 0 19146491 14318366720 467279 18446744073709551615 4194304 4196468 140734530884064 140503981452144 140504510040706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4415] ppid=4400 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4415/stat : 4415 (java) S 4400 4400 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19146491 14318366720 467279 18446744073709551615 4194304 4196468 140734530884064 140503980399584 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4416] ppid=4400 vsize=13982780 memory=1380 CPUtime=0.86 cores=0,2,4,6
/proc/4402/task/4416/stat : 4416 (java) S 4400 4400 15523 0 -1 1077944384 3302 0 0 0 42 44 0 0 20 0 15 0 19146496 14318366720 467279 18446744073709551615 4194304 4196468 140734530884064 140503979346352 140504510040706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
Current children cumulated CPU time: 2434.09 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 1870496 KiB
[startup+2442.3 s]
/proc/loadavg: 2.12 1.91 1.94 3/213 4664
/proc/meminfo: memFree=29336888/32770624 swapFree=67108860/67108860
[pid=4400] ppid=4397 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4400/stat : 4400 (xcsp3-exec) S 4397 4400 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19146476 9740288 345 18446744073709551615 4194304 5098028 140722085840048 140722085838152 140055403610748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 22740992 140722085847418 140722085847622 140722085847622 140722085851115 0
/proc/4400/statm: 2378 345 289 221 0 87 0
[pid=4402] ppid=4400 vsize=13982780 memory=1848084 CPUtime=2494.39 cores=0,2,4,6
/proc/4402/stat : 4402 (java) S 4400 4400 15523 0 -1 1077944320 233329 0 0 0 249127 312 0 0 20 0 15 0 19146486 14318366720 462021 18446744073709551615 4194304 4196468 140734530884064 140734530866608 140504510029559 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
/proc/4402/statm: 3495695 462021 3260 1 0 3483988 0
[pid=4402/tid=4403] ppid=4400 vsize=13982780 memory=1848084 CPUtime=2427.76 cores=0,2,4,6
/proc/4402/task/4403/stat : 4403 (java) R 4400 4400 15523 0 -1 4202560 57614 0 0 0 242758 18 0 0 20 0 15 0 19146486 14318366720 462021 18446744073709551615 4194304 4196468 140734530884064 140504514268928 140504108346118 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4404] ppid=4400 vsize=13982780 memory=1848084 CPUtime=13.24 cores=0,2,4,6
/proc/4402/task/4404/stat : 4404 (java) S 4400 4400 15523 0 -1 1077944384 17685 0 0 0 1265 59 0 0 20 0 15 0 19146487 14318366720 462021 18446744073709551615 4194304 4196468 140734530884064 140504429443984 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4405] ppid=4400 vsize=13982780 memory=1848084 CPUtime=13.15 cores=0,2,4,6
/proc/4402/task/4405/stat : 4405 (java) S 4400 4400 15523 0 -1 1077944384 13934 0 0 0 1253 62 0 0 20 0 15 0 19146487 14318366720 462021 18446744073709551615 4194304 4196468 140734530884064 140504428391184 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4406] ppid=4400 vsize=13982780 memory=1848084 CPUtime=13.2 cores=0,2,4,6
/proc/4402/task/4406/stat : 4406 (java) S 4400 4400 15523 0 -1 1077944384 13252 0 0 0 1260 60 0 0 20 0 15 0 19146487 14318366720 462021 18446744073709551615 4194304 4196468 140734530884064 140504427338896 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4407] ppid=4400 vsize=13982780 memory=1848084 CPUtime=13.17 cores=0,2,4,6
/proc/4402/task/4407/stat : 4407 (java) S 4400 4400 15523 0 -1 1077944384 13582 0 0 0 1257 60 0 0 20 0 15 0 19146487 14318366720 462021 18446744073709551615 4194304 4196468 140734530884064 140504426286096 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4408] ppid=4400 vsize=13982780 memory=1848084 CPUtime=0.72 cores=0,2,4,6
/proc/4402/task/4408/stat : 4408 (java) S 4400 4400 15523 0 -1 1077944384 32190 0 0 0 67 5 0 0 20 0 15 0 19146488 14318366720 462021 18446744073709551615 4194304 4196468 140734530884064 140503987767408 140504510040706 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4409] ppid=4400 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4409/stat : 4409 (java) S 4400 4400 15523 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 19146489 14318366720 462021 18446744073709551615 4194304 4196468 140734530884064 140503986713440 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4410] ppid=4400 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4410/stat : 4410 (java) S 4400 4400 15523 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 19146489 14318366720 462021 18446744073709551615 4194304 4196468 140734530884064 140503985661056 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4411] ppid=4400 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4411/stat : 4411 (java) S 4400 4400 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19146491 14318366720 462021 18446744073709551615 4194304 4196468 140734530884064 140503984609360 140504510048155 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4412] ppid=4400 vsize=13982780 memory=1724 CPUtime=5.93 cores=0,2,4,6
/proc/4402/task/4412/stat : 4412 (java) S 4400 4400 15523 0 -1 1077944384 37542 0 0 0 589 4 0 0 20 0 15 0 19146491 14318366720 462021 18446744073709551615 4194304 4196468 140734530884064 140503983557232 140504510040706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4413] ppid=4400 vsize=13982780 memory=1008 CPUtime=5.18 cores=0,2,4,6
/proc/4402/task/4413/stat : 4413 (java) S 4400 4400 15523 0 -1 1077944384 30369 0 0 0 514 4 0 0 20 0 15 0 19146491 14318366720 462021 18446744073709551615 4194304 4196468 140734530884064 140503982504432 140504510040706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4414] ppid=4400 vsize=13982780 memory=4612 CPUtime=1.08 cores=0,2,4,6
/proc/4402/task/4414/stat : 4414 (java) S 4400 4400 15523 0 -1 1077944384 12523 0 0 0 105 3 0 0 20 0 15 0 19146491 14318366720 462021 18446744073709551615 4194304 4196468 140734530884064 140503981452144 140504510040706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4415] ppid=4400 vsize=13982780 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4415/stat : 4415 (java) S 4400 4400 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19146491 14318366720 462021 18446744073709551615 4194304 4196468 140734530884064 140503980399584 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4416] ppid=4400 vsize=13982780 memory=1848084 CPUtime=0.88 cores=0,2,4,6
/proc/4402/task/4416/stat : 4416 (java) S 4400 4400 15523 0 -1 1077944384 3333 0 0 0 43 45 0 0 20 0 15 0 19146496 14318366720 462021 18446744073709551615 4194304 4196468 140734530884064 140503979346352 140504510040706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
Current children cumulated CPU time: 2494.39 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 1849464 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2467.6 s]
/proc/loadavg: 2.55 2.03 1.98 3/213 4665
/proc/meminfo: memFree=29323400/32770624 swapFree=67108860/67108860
[pid=4400] ppid=4397 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4400/stat : 4400 (xcsp3-exec) S 4397 4400 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19146476 9740288 345 18446744073709551615 4194304 5098028 140722085840048 140722085838152 140055403610748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 22740992 140722085847418 140722085847622 140722085847622 140722085851115 0
/proc/4400/statm: 2378 345 289 221 0 87 0
[pid=4402] ppid=4400 vsize=13982780 memory=1819356 CPUtime=2520.02 cores=0,2,4,6
/proc/4402/stat : 4402 (java) S 4400 4400 15523 0 -1 1077944320 234972 0 0 0 251689 313 0 0 20 0 15 0 19146486 14318366720 454839 18446744073709551615 4194304 4196468 140734530884064 140734530866608 140504510029559 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
/proc/4402/statm: 3495695 454839 3260 1 0 3483988 0
[pid=4402/tid=4403] ppid=4400 vsize=13982780 memory=1819356 CPUtime=2452.94 cores=0,2,4,6
/proc/4402/task/4403/stat : 4403 (java) R 4400 4400 15523 0 -1 4202560 57859 0 0 0 245276 18 0 0 20 0 15 0 19146486 14318366720 454839 18446744073709551615 4194304 4196468 140734530884064 140504514268928 140504108344999 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4404] ppid=4400 vsize=13982780 memory=1380 CPUtime=13.35 cores=0,2,4,6
/proc/4402/task/4404/stat : 4404 (java) S 4400 4400 15523 0 -1 1077944384 17775 0 0 0 1276 59 0 0 20 0 15 0 19146487 14318366720 454839 18446744073709551615 4194304 4196468 140734530884064 140504429443984 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4405] ppid=4400 vsize=13982780 memory=2756 CPUtime=13.25 cores=0,2,4,6
/proc/4402/task/4405/stat : 4405 (java) S 4400 4400 15523 0 -1 1077944384 14030 0 0 0 1263 62 0 0 20 0 15 0 19146487 14318366720 454839 18446744073709551615 4194304 4196468 140734530884064 140504428391184 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4406] ppid=4400 vsize=13982780 memory=2784 CPUtime=13.3 cores=0,2,4,6
/proc/4402/task/4406/stat : 4406 (java) S 4400 4400 15523 0 -1 1077944384 14162 0 0 0 1270 60 0 0 20 0 15 0 19146487 14318366720 454839 18446744073709551615 4194304 4196468 140734530884064 140504427338896 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4407] ppid=4400 vsize=13982780 memory=6933928925625698159 CPUtime=13.28 cores=0,2,4,6
/proc/4402/task/4407/stat : 4407 (java) S 4400 4400 15523 0 -1 1077944384 13716 0 0 0 1268 60 0 0 20 0 15 0 19146487 14318366720 454839 18446744073709551615 4194304 4196468 140734530884064 140504426286096 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4408] ppid=4400 vsize=13982780 memory=4126316290023845779 CPUtime=0.72 cores=0,2,4,6
/proc/4402/task/4408/stat : 4408 (java) S 4400 4400 15523 0 -1 1077944384 32357 0 0 0 67 5 0 0 20 0 15 0 19146488 14318366720 454839 18446744073709551615 4194304 4196468 140734530884064 140503987767408 140504510040706 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4409] ppid=4400 vsize=13982780 memory=792 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4409/stat : 4409 (java) S 4400 4400 15523 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 19146489 14318366720 454839 18446744073709551615 4194304 4196468 140734530884064 140503986713440 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4410] ppid=4400 vsize=13982780 memory=5412 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4410/stat : 4410 (java) S 4400 4400 15523 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 19146489 14318366720 454839 18446744073709551615 4194304 4196468 140734530884064 140503985661056 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4411] ppid=4400 vsize=13982780 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4411/stat : 4411 (java) S 4400 4400 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19146491 14318366720 454839 18446744073709551615 4194304 4196468 140734530884064 140503984609360 140504510048155 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4412] ppid=4400 vsize=13982780 memory=1200 CPUtime=5.93 cores=0,2,4,6
/proc/4402/task/4412/stat : 4412 (java) S 4400 4400 15523 0 -1 1077944384 37543 0 0 0 589 4 0 0 20 0 15 0 19146491 14318366720 454839 18446744073709551615 4194304 4196468 140734530884064 140503983557232 140504510040706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4413] ppid=4400 vsize=13982780 memory=1380 CPUtime=5.18 cores=0,2,4,6
/proc/4402/task/4413/stat : 4413 (java) S 4400 4400 15523 0 -1 1077944384 30369 0 0 0 514 4 0 0 20 0 15 0 19146491 14318366720 454839 18446744073709551615 4194304 4196468 140734530884064 140503982504432 140504510040706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4414] ppid=4400 vsize=13982780 memory=1819356 CPUtime=1.08 cores=0,2,4,6
/proc/4402/task/4414/stat : 4414 (java) S 4400 4400 15523 0 -1 1077944384 12523 0 0 0 105 3 0 0 20 0 15 0 19146491 14318366720 454839 18446744073709551615 4194304 4196468 140734530884064 140503981452144 140504510040706 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4415] ppid=4400 vsize=13982780 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/4402/task/4415/stat : 4415 (java) S 4400 4400 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19146491 14318366720 454839 18446744073709551615 4194304 4196468 140734530884064 140503980399584 140504510039765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
[pid=4402/tid=4416] ppid=4400 vsize=13982780 memory=3228 CPUtime=0.88 cores=0,2,4,6
/proc/4402/task/4416/stat : 4416 (java) S 4400 4400 15523 0 -1 1077944384 3333 0 0 0 43 45 0 0 20 0 15 0 19146496 14318366720 454839 18446744073709551615 4194304 4196468 140734530884064 140503979346352 140504510040706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14917632 140734530888114 140734530888290 140734530888290 140734530891727 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 1820736 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2467.61 s]
# the end of solver process 4400 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001874 s, system=0 s
[startup+2467.62 s]
# the end of solver process 4402 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.91 s, system=3.14309 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): 2467.62
CPU time (s): 2520.06
CPU user time (s): 2516.91
CPU system time (s): 3.14309
CPU usage (%): 102.125
Max. virtual memory (cumulated for all children) (KiB): 13996476
Max. memory (cumulated for all children) (KiB): 1936852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.91
system time used= 3.14309
maximum resident set size= 1935528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235776
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59605
involuntary context switches= 3876
# summary of solver processes directly reported to runsolver:
# pid: 4400,4402
# total CPU time (s): 2520.06
# total CPU user time (s): 2516.91
# total CPU system time (s): 3.14309
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6523 second user time and 24.305 second system time
The end