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 (12920 MiB free)
memory of node 1: 16384 MiB (11896 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403457-1568993564/watcher-4403457-1568993564 -o /var/tmp/evaluation-result-4403457-1568993564/solver-4403457-1568993564 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568987938-25142 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 773863228 HOME/instance-4403457-1568993564.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=31440, runsolver pid=31436
[startup+0.104298 s]*
/proc/loadavg: 6.51 7.04 7.21 4/232 31456
/proc/meminfo: memFree=25382844/32770624 swapFree=67002252/67108860
[pid=31440] ppid=31436 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31440/stat : 31440 (xcsp3-exec) S 31436 31440 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475605034 115843072 363 33554432000 4194304 5098028 140726502875472 140726502873576 140078791185020 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24944640 140726502884183 140726502884441 140726502884441 140726502887366 0
/proc/31440/statm: 28282 363 304 221 0 87 0
[pid=31442] ppid=31440 vsize=15144776 memory=29008 CPUtime=0.08 cores=0,2,4,6
/proc/31442/stat : 31442 (java) S 31440 31440 25111 0 -1 1077944320 5142 0 0 0 7 1 0 0 20 0 15 0 475605034 15508250624 7252 33554432000 4194304 4196468 140734687374720 140734687357264 139893433126647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
/proc/31442/statm: 3786194 7252 3026 1 0 3748377 0
[pid=31442/tid=31443] ppid=31440 vsize=15144776 memory=-6962121287837372198 CPUtime=0.07 cores=0,2,4,6
/proc/31442/task/31443/stat : 31443 (java) R 31440 31440 25111 0 -1 4202560 3295 0 0 0 6 1 0 0 20 0 15 0 475605035 15508250624 7252 33554432000 4194304 4196468 140734687374720 139893437347424 139893417207134 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31444] ppid=31440 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31444/stat : 31444 (java) S 31440 31440 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475605038 15508250624 7252 33554432000 4194304 4196468 140734687374720 139893024988048 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31445] ppid=31440 vsize=15144776 memory=140291208599168 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31445/stat : 31445 (java) S 31440 31440 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475605038 15508250624 7252 33554432000 4194304 4196468 140734687374720 139893023935248 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31446] ppid=31440 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31446/stat : 31446 (java) S 31440 31440 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475605038 15508250624 7252 33554432000 4194304 4196468 140734687374720 139893022882960 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31447] ppid=31440 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31447/stat : 31447 (java) S 31440 31440 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475605038 15508250624 7252 33554432000 4194304 4196468 140734687374720 139893021830160 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31448] ppid=31440 vsize=15144776 memory=140291208599168 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31448/stat : 31448 (java) S 31440 31440 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475605040 15508250624 7252 33554432000 4194304 4196468 140734687374720 139892901734512 139893433137794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31449] ppid=31440 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31449/stat : 31449 (java) S 31440 31440 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475605040 15508250624 7252 33554432000 4194304 4196468 140734687374720 139892900680480 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31450] ppid=31440 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31450/stat : 31450 (java) S 31440 31440 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475605040 15508250624 7252 33554432000 4194304 4196468 140734687374720 139892899628144 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31451] ppid=31440 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31451/stat : 31451 (java) S 31440 31440 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475605043 15508250624 7252 33554432000 4194304 4196468 140734687374720 139892898576464 139893433145243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31452] ppid=31440 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31452/stat : 31452 (java) S 31440 31440 25111 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 475605043 15508250624 7252 33554432000 4194304 4196468 140734687374720 139892897524336 139893433137794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31453] ppid=31440 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31453/stat : 31453 (java) S 31440 31440 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475605043 15508250624 7252 33554432000 4194304 4196468 140734687374720 139892896471536 139893433137794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31454] ppid=31440 vsize=15144776 memory=140291208599168 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31454/stat : 31454 (java) S 31440 31440 25111 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 15 0 475605043 15508250624 7252 33554432000 4194304 4196468 140734687374720 139892895419248 139893433137794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31455] ppid=31440 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31455/stat : 31455 (java) S 31440 31440 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475605043 15508250624 7252 33554432000 4194304 4196468 140734687374720 139892894366688 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31456] ppid=31440 vsize=15144776 memory=140291208599168 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31456/stat : 31456 (java) S 31440 31440 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475605043 15508250624 7252 33554432000 4194304 4196468 140734687374720 139892893313456 139893433137794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30460 KiB
[startup+0.210803 s]*
/proc/loadavg: 6.51 7.04 7.21 6/232 31456
/proc/meminfo: memFree=25365584/32770624 swapFree=67002252/67108860
[pid=31440] ppid=31436 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31440/stat : 31440 (xcsp3-exec) S 31436 31440 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475605034 115843072 363 33554432000 4194304 5098028 140726502875472 140726502873576 140078791185020 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24944640 140726502884183 140726502884441 140726502884441 140726502887366 0
/proc/31440/statm: 28282 363 304 221 0 87 0
[pid=31442] ppid=31440 vsize=15144776 memory=40840 CPUtime=0.29 cores=0,2,4,6
/proc/31442/stat : 31442 (java) S 31440 31440 25111 0 -1 1077944320 8800 0 0 0 26 3 0 0 20 0 15 0 475605034 15508250624 10210 33554432000 4194304 4196468 140734687374720 140734687357264 139893433126647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
/proc/31442/statm: 3786194 10210 3261 1 0 3748377 0
[pid=31442/tid=31443] ppid=31440 vsize=15144776 memory=7883960649037381690 CPUtime=0.17 cores=0,2,4,6
/proc/31442/task/31443/stat : 31443 (java) R 31440 31440 25111 0 -1 4202560 5968 0 0 0 15 2 0 0 20 0 15 0 475605035 15508250624 10210 33554432000 4194304 4196468 140734687374720 139893437345072 139893433148573 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31444] ppid=31440 vsize=15144776 memory=13620 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31444/stat : 31444 (java) S 31440 31440 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475605038 15508250624 10210 33554432000 4194304 4196468 140734687374720 139893024988048 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31445] ppid=31440 vsize=15144776 memory=140291212126953 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31445/stat : 31445 (java) S 31440 31440 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475605038 15508250624 10210 33554432000 4194304 4196468 140734687374720 139893023935248 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31446] ppid=31440 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31446/stat : 31446 (java) S 31440 31440 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475605038 15508250624 10210 33554432000 4194304 4196468 140734687374720 139893022882960 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31447] ppid=31440 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31447/stat : 31447 (java) S 31440 31440 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475605038 15508250624 10210 33554432000 4194304 4196468 140734687374720 139893021830160 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31448] ppid=31440 vsize=15144776 memory=140291208599168 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31448/stat : 31448 (java) S 31440 31440 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475605040 15508250624 10210 33554432000 4194304 4196468 140734687374720 139892901734512 139893433137794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31449] ppid=31440 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31449/stat : 31449 (java) S 31440 31440 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475605040 15508250624 10210 33554432000 4194304 4196468 140734687374720 139892900680480 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31450] ppid=31440 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31450/stat : 31450 (java) S 31440 31440 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475605040 15508250624 10210 33554432000 4194304 4196468 140734687374720 139892899628144 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31451] ppid=31440 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31451/stat : 31451 (java) S 31440 31440 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475605043 15508250624 10210 33554432000 4194304 4196468 140734687374720 139892898576464 139893433145243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31452] ppid=31440 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31442/task/31452/stat : 31452 (java) S 31440 31440 25111 0 -1 1077944384 412 0 0 0 2 0 0 0 20 0 15 0 475605043 15508250624 10210 33554432000 4194304 4196468 140734687374720 139892897524336 139893433137794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31453] ppid=31440 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31442/task/31453/stat : 31453 (java) S 31440 31440 25111 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 15 0 475605043 15508250624 10210 33554432000 4194304 4196468 140734687374720 139892896471536 139893433137794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31454] ppid=31440 vsize=15144776 memory=140291208599168 CPUtime=0.06 cores=0,2,4,6
/proc/31442/task/31454/stat : 31454 (java) S 31440 31440 25111 0 -1 1077944384 742 0 0 0 6 0 0 0 20 0 15 0 475605043 15508250624 10210 33554432000 4194304 4196468 140734687374720 139892895419248 139893433137794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31455] ppid=31440 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31455/stat : 31455 (java) S 31440 31440 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475605043 15508250624 10210 33554432000 4194304 4196468 140734687374720 139892894366688 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31456] ppid=31440 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31456/stat : 31456 (java) S 31440 31440 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475605043 15508250624 10210 33554432000 4194304 4196468 140734687374720 139892893313456 139893433137794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42292 KiB
[startup+0.310884 s]*
/proc/loadavg: 6.51 7.04 7.21 3/232 31456
/proc/meminfo: memFree=25350176/32770624 swapFree=67002252/67108860
[pid=31440] ppid=31436 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31440/stat : 31440 (xcsp3-exec) S 31436 31440 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475605034 115843072 363 33554432000 4194304 5098028 140726502875472 140726502873576 140078791185020 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24944640 140726502884183 140726502884441 140726502884441 140726502887366 0
/proc/31440/statm: 28282 363 304 221 0 87 0
[pid=31442] ppid=31440 vsize=15149032 memory=46824 CPUtime=0.46 cores=0,2,4,6
/proc/31442/stat : 31442 (java) S 31440 31440 25111 0 -1 1077944320 10059 0 0 0 43 3 0 0 20 0 15 0 475605034 15512608768 11706 33554432000 4194304 4196468 140734687374720 140734687357264 139893433126647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
/proc/31442/statm: 3787258 11706 3313 1 0 3748377 0
[pid=31442/tid=31443] ppid=31440 vsize=15149032 memory=7883960649037381690 CPUtime=0.27 cores=0,2,4,6
/proc/31442/task/31443/stat : 31443 (java) R 31440 31440 25111 0 -1 4202560 7055 0 0 0 24 3 0 0 20 0 15 0 475605035 15512608768 11706 33554432000 4194304 4196468 140734687374720 139893437339200 139893433148573 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31444] ppid=31440 vsize=15149032 memory=13961 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31444/stat : 31444 (java) S 31440 31440 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475605038 15512608768 11706 33554432000 4194304 4196468 140734687374720 139893024988048 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31445] ppid=31440 vsize=15149032 memory=3546595 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31445/stat : 31445 (java) S 31440 31440 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475605038 15512608768 11706 33554432000 4194304 4196468 140734687374720 139893023935248 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31446] ppid=31440 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31446/stat : 31446 (java) S 31440 31440 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475605038 15512608768 11706 33554432000 4194304 4196468 140734687374720 139893022882960 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31447] ppid=31440 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31447/stat : 31447 (java) S 31440 31440 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475605038 15512608768 11706 33554432000 4194304 4196468 140734687374720 139893021830160 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31448] ppid=31440 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31448/stat : 31448 (java) S 31440 31440 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475605040 15512608768 11706 33554432000 4194304 4196468 140734687374720 139892901734512 139893433137794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31449] ppid=31440 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31449/stat : 31449 (java) S 31440 31440 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475605040 15512608768 11706 33554432000 4194304 4196468 140734687374720 139892900680480 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31450] ppid=31440 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31450/stat : 31450 (java) S 31440 31440 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475605040 15512608768 11706 33554432000 4194304 4196468 140734687374720 139892899628144 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31451] ppid=31440 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31451/stat : 31451 (java) S 31440 31440 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475605043 15512608768 11706 33554432000 4194304 4196468 140734687374720 139892898576464 139893433145243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31452] ppid=31440 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31442/task/31452/stat : 31452 (java) S 31440 31440 25111 0 -1 1077944384 467 0 0 0 3 0 0 0 20 0 15 0 475605043 15512608768 11706 33554432000 4194304 4196468 140734687374720 139892897524336 139893433137794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31453] ppid=31440 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/31442/task/31453/stat : 31453 (java) R 31440 31440 25111 0 -1 4202560 383 0 0 0 4 0 0 0 20 0 15 0 475605043 15512608768 11706 33554432000 4194304 4196468 140734687374720 139892896471536 139893413823892 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31454] ppid=31440 vsize=15149032 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/31442/task/31454/stat : 31454 (java) S 31440 31440 25111 0 -1 1077944384 846 0 0 0 11 0 0 0 20 0 15 0 475605043 15512608768 11706 33554432000 4194304 4196468 140734687374720 139892895419248 139893433137794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31455] ppid=31440 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31455/stat : 31455 (java) S 31440 31440 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475605043 15512608768 11706 33554432000 4194304 4196468 140734687374720 139892894366688 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31456] ppid=31440 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31456/stat : 31456 (java) S 31440 31440 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475605043 15512608768 11706 33554432000 4194304 4196468 140734687374720 139892893313456 139893433137794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 48276 KiB
[startup+0.700801 s]
/proc/loadavg: 6.51 7.04 7.21 7/232 31456
/proc/meminfo: memFree=25271312/32770624 swapFree=67002252/67108860
[pid=31440] ppid=31436 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31440/stat : 31440 (xcsp3-exec) S 31436 31440 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475605034 115843072 363 33554432000 4194304 5098028 140726502875472 140726502873576 140078791185020 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24944640 140726502884183 140726502884441 140726502884441 140726502887366 0
/proc/31440/statm: 28282 363 304 221 0 87 0
[pid=31442] ppid=31440 vsize=15151156 memory=140992 CPUtime=1.53 cores=0,2,4,6
/proc/31442/stat : 31442 (java) S 31440 31440 25111 0 -1 1077944320 13098 0 0 0 147 6 0 0 20 0 15 0 475605034 15514783744 35248 33554432000 4194304 4196468 140734687374720 140734687357264 139893433126647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
/proc/31442/statm: 3787789 35248 3439 1 0 3748889 0
[pid=31442/tid=31443] ppid=31440 vsize=15151156 memory=29968 CPUtime=0.64 cores=0,2,4,6
/proc/31442/task/31443/stat : 31443 (java) R 31440 31440 25111 0 -1 4202560 7820 0 0 0 60 4 0 0 20 0 15 0 475605035 15514783744 35248 33554432000 4194304 4196468 140734687374720 139893437363424 139893073066808 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31444] ppid=31440 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31444/stat : 31444 (java) S 31440 31440 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475605038 15514783744 35248 33554432000 4194304 4196468 140734687374720 139893024988048 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31445] ppid=31440 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31445/stat : 31445 (java) S 31440 31440 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475605038 15514783744 35248 33554432000 4194304 4196468 140734687374720 139893023935248 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31446] ppid=31440 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31446/stat : 31446 (java) S 31440 31440 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475605038 15514783744 35248 33554432000 4194304 4196468 140734687374720 139893022882960 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31447] ppid=31440 vsize=15151156 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31447/stat : 31447 (java) S 31440 31440 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475605038 15514783744 35248 33554432000 4194304 4196468 140734687374720 139893021830160 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31448] ppid=31440 vsize=15151156 memory=1656 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31448/stat : 31448 (java) S 31440 31440 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475605040 15514783744 35248 33554432000 4194304 4196468 140734687374720 139892901734512 139893433137794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31449] ppid=31440 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31449/stat : 31449 (java) S 31440 31440 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475605040 15514783744 35248 33554432000 4194304 4196468 140734687374720 139892900680480 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31450] ppid=31440 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31450/stat : 31450 (java) S 31440 31440 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475605040 15514783744 35248 33554432000 4194304 4196468 140734687374720 139892899628144 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31451] ppid=31440 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31451/stat : 31451 (java) S 31440 31440 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475605043 15514783744 35248 33554432000 4194304 4196468 140734687374720 139892898576464 139893433145243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31452] ppid=31440 vsize=15151156 memory=2676 CPUtime=0.3 cores=0,2,4,6
/proc/31442/task/31452/stat : 31452 (java) R 31440 31440 25111 0 -1 4202560 1190 0 0 0 30 0 0 0 20 0 15 0 475605043 15514783744 35248 33554432000 4194304 4196468 140734687374720 139892897510768 139893412790256 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31453] ppid=31440 vsize=15151156 memory=1764 CPUtime=0.3 cores=0,2,4,6
/proc/31442/task/31453/stat : 31453 (java) R 31440 31440 25111 0 -1 4202560 1192 0 0 0 30 0 0 0 20 0 15 0 475605043 15514783744 35248 33554432000 4194304 4196468 140734687374720 139892896458104 139893418056069 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31454] ppid=31440 vsize=15151156 memory=111632 CPUtime=0.25 cores=0,2,4,6
/proc/31442/task/31454/stat : 31454 (java) S 31440 31440 25111 0 -1 1077944384 1588 0 0 0 25 0 0 0 20 0 15 0 475605043 15514783744 35248 33554432000 4194304 4196468 140734687374720 139892895419248 139893433137794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31455] ppid=31440 vsize=15151156 memory=796 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31455/stat : 31455 (java) S 31440 31440 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475605043 15514783744 35248 33554432000 4194304 4196468 140734687374720 139892894366688 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31456] ppid=31440 vsize=15151156 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31456/stat : 31456 (java) S 31440 31440 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475605043 15514783744 35248 33554432000 4194304 4196468 140734687374720 139892893313456 139893433137794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 142444 KiB
[startup+1.50085 s]
/proc/loadavg: 6.47 7.02 7.20 5/232 31456
/proc/meminfo: memFree=25020732/32770624 swapFree=67002252/67108860
[pid=31440] ppid=31436 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31440/stat : 31440 (xcsp3-exec) S 31436 31440 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475605034 115843072 363 33554432000 4194304 5098028 140726502875472 140726502873576 140078791185020 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24944640 140726502884183 140726502884441 140726502884441 140726502887366 0
/proc/31440/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/31442/task/31444/stat : 31444 (java) R 31440 31440 25111 0 -1 4202560 173 0 0 0 8 7 0 0 20 0 15 0 475605038 15514783744 129496 33554432000 4194304 4196468 140734687374720 139893024988048 139893418154066 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31445] ppid=31440 vsize=15151156 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/31442/task/31445/stat : 31445 (java) R 31440 31440 25111 0 -1 4202560 172 0 0 0 8 7 0 0 20 0 15 0 475605038 15514783744 129496 33554432000 4194304 4196468 140734687374720 139893023935136 139893418154066 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31446] ppid=31440 vsize=15151156 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/31442/task/31446/stat : 31446 (java) R 31440 31440 25111 0 -1 4202560 211 0 0 0 8 7 0 0 20 0 15 0 475605038 15514783744 129496 33554432000 4194304 4196468 140734687374720 139893022882960 139893418150350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31447] ppid=31440 vsize=15151156 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/31442/task/31447/stat : 31447 (java) R 31440 31440 25111 0 -1 4202560 191 0 0 0 8 8 0 0 20 0 15 0 475605038 15514783744 129496 33554432000 4194304 4196468 140734687374720 139893021830360 139893418148768 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31448] ppid=31440 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31448/stat : 31448 (java) S 31440 31440 25111 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 475605040 15514783744 129496 33554432000 4194304 4196468 140734687374720 139892901733024 139893433136853 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31449] ppid=31440 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31449/stat : 31449 (java) S 31440 31440 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475605040 15514783744 129496 33554432000 4194304 4196468 140734687374720 139892900680544 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31450] ppid=31440 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31450/stat : 31450 (java) S 31440 31440 25111 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 475605040 15514783744 129496 33554432000 4194304 4196468 140734687374720 139892899628144 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31451] ppid=31440 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31451/stat : 31451 (java) S 31440 31440 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475605043 15514783744 129496 33554432000 4194304 4196468 140734687374720 139892898576464 139893433145243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31452] ppid=31440 vsize=15151156 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/31442/task/31452/stat : 31452 (java) S 31440 31440 25111 0 -1 1077944384 1307 0 0 0 54 0 0 0 20 0 15 0 475605043 15514783744 129496 33554432000 4194304 4196468 140734687374720 139892897524336 139893433137794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31453] ppid=31440 vsize=15151156 memory=280582160523440 CPUtime=0.6 cores=0,2,4,6
/proc/31442/task/31453/stat : 31453 (java) S 31440 31440 25111 0 -1 1077944384 1308 0 0 0 60 0 0 0 20 0 15 0 475605043 15514783744 129496 33554432000 4194304 4196468 140734687374720 139892896471536 139893433137794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31454] ppid=31440 vsize=15151156 memory=13841 CPUtime=0.41 cores=0,2,4,6
/proc/31442/task/31454/stat : 31454 (java) S 31440 31440 25111 0 -1 1077944384 1880 0 0 0 40 1 0 0 20 0 15 0 475605043 15514783744 129496 33554432000 4194304 4196468 140734687374720 139892895419248 139893433137794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31455] ppid=31440 vsize=15151156 memory=23625 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31455/stat : 31455 (java) S 31440 31440 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475605043 15514783744 129496 33554432000 4194304 4196468 140734687374720 139892894366688 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31456] ppid=31440 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31456/stat : 31456 (java) S 31440 31440 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475605043 15514783744 129496 33554432000 4194304 4196468 140734687374720 139892893313456 139893433137794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
Current children cumulated CPU time: 3.62 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 519436 KiB
[startup+2.40227 s]
/proc/loadavg: 6.47 7.02 7.20 4/232 31456
/proc/meminfo: memFree=24283960/32770624 swapFree=67002252/67108860
[pid=31440] ppid=31436 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31440/stat : 31440 (xcsp3-exec) S 31436 31440 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475605034 115843072 363 33554432000 4194304 5098028 140726502875472 140726502873576 140078791185020 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24944640 140726502884183 140726502884441 140726502884441 140726502887366 0
/proc/31440/statm: 28282 363 304 221 0 87 0
[pid=31442] ppid=31440 vsize=15151156 memory=767120 CPUtime=5.52 cores=0,2,4,6
/proc/31442/stat : 31442 (java) S 31440 31440 25111 0 -1 1077944320 17384 0 0 0 480 72 0 0 20 0 15 0 475605034 15514783744 191780 33554432000 4194304 4196468 140734687374720 140734687357264 139893433126647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
/proc/31442/statm: 3787789 191780 3499 1 0 3748889 0
[pid=31442/tid=31443] ppid=31440 vsize=15151156 memory=-7027408097459412384 CPUtime=1.73 cores=0,2,4,6
/proc/31442/task/31443/stat : 31443 (java) R 31440 31440 25111 0 -1 4202560 8753 0 0 0 166 7 0 0 20 0 15 0 475605035 15514783744 191780 33554432000 4194304 4196468 140734687374720 139893437360536 139893073206179 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31444] ppid=31440 vsize=15151156 memory=-7457052372387209120 CPUtime=0.49 cores=0,2,4,6
/proc/31442/task/31444/stat : 31444 (java) S 31440 31440 25111 0 -1 1077944384 402 0 0 0 34 15 0 0 20 0 15 0 475605038 15514783744 191780 33554432000 4194304 4196468 140734687374720 139893024988048 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31445] ppid=31440 vsize=15151156 memory=1452 CPUtime=0.48 cores=0,2,4,6
/proc/31442/task/31445/stat : 31445 (java) S 31440 31440 25111 0 -1 1077944384 443 0 0 0 33 15 0 0 20 0 15 0 475605038 15514783744 191780 33554432000 4194304 4196468 140734687374720 139893023935248 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31446] ppid=31440 vsize=15151156 memory=331016 CPUtime=0.49 cores=0,2,4,6
/proc/31442/task/31446/stat : 31446 (java) S 31440 31440 25111 0 -1 1077944384 616 0 0 0 34 15 0 0 20 0 15 0 475605038 15514783744 191780 33554432000 4194304 4196468 140734687374720 139893022882960 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31447] ppid=31440 vsize=15151156 memory=920 CPUtime=0.48 cores=0,2,4,6
/proc/31442/task/31447/stat : 31447 (java) S 31440 31440 25111 0 -1 1077944384 718 0 0 0 33 15 0 0 20 0 15 0 475605038 15514783744 191780 33554432000 4194304 4196468 140734687374720 139893021830160 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31448] ppid=31440 vsize=15151156 memory=3820 CPUtime=0.1 cores=0,2,4,6
/proc/31442/task/31448/stat : 31448 (java) S 31440 31440 25111 0 -1 1077944384 521 0 0 0 10 0 0 0 20 0 15 0 475605040 15514783744 191780 33554432000 4194304 4196468 140734687374720 139892901734512 139893433137794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31449] ppid=31440 vsize=15151156 memory=2592 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31449/stat : 31449 (java) S 31440 31440 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475605040 15514783744 191780 33554432000 4194304 4196468 140734687374720 139892900680544 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31450] ppid=31440 vsize=15151156 memory=2664 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31450/stat : 31450 (java) S 31440 31440 25111 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 475605040 15514783744 191780 33554432000 4194304 4196468 140734687374720 139892899628160 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31451] ppid=31440 vsize=15151156 memory=4108 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31451/stat : 31451 (java) S 31440 31440 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475605043 15514783744 191780 33554432000 4194304 4196468 140734687374720 139892898576464 139893433145243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31452] ppid=31440 vsize=15151156 memory=1412 CPUtime=0.56 cores=0,2,4,6
/proc/31442/task/31452/stat : 31452 (java) R 31440 31440 25111 0 -1 4202560 1319 0 0 0 56 0 0 0 20 0 15 0 475605043 15514783744 191780 33554432000 4194304 4196468 140734687374720 139892897524336 139893418048604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31453] ppid=31440 vsize=15151156 memory=2264 CPUtime=0.64 cores=0,2,4,6
/proc/31442/task/31453/stat : 31453 (java) S 31440 31440 25111 0 -1 1077944384 1326 0 0 0 64 0 0 0 20 0 15 0 475605043 15514783744 191780 33554432000 4194304 4196468 140734687374720 139892896471536 139893433137794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31454] ppid=31440 vsize=15151156 memory=1456 CPUtime=0.46 cores=0,2,4,6
/proc/31442/task/31454/stat : 31454 (java) R 31440 31440 25111 0 -1 4202560 1985 0 0 0 45 1 0 0 20 0 15 0 475605043 15514783744 191780 33554432000 4194304 4196468 140734687374720 139892895417056 139893411798674 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31455] ppid=31440 vsize=15151156 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31455/stat : 31455 (java) S 31440 31440 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475605043 15514783744 191780 33554432000 4194304 4196468 140734687374720 139892894366688 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31456] ppid=31440 vsize=15151156 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31456/stat : 31456 (java) S 31440 31440 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475605043 15514783744 191780 33554432000 4194304 4196468 140734687374720 139892893313456 139893433137794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
Current children cumulated CPU time: 5.52 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 768572 KiB
[startup+2.80228 s]
/proc/loadavg: 6.47 7.02 7.20 4/232 31456
/proc/meminfo: memFree=24283960/32770624 swapFree=67002252/67108860
[pid=31440] ppid=31436 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31440/stat : 31440 (xcsp3-exec) S 31436 31440 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475605034 115843072 363 33554432000 4194304 5098028 140726502875472 140726502873576 140078791185020 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24944640 140726502884183 140726502884441 140726502884441 140726502887366 0
/proc/31440/statm: 28282 363 304 221 0 87 0
[pid=31442] ppid=31440 vsize=15417412 memory=769764 CPUtime=6.26 cores=0,2,4,6
/proc/31442/stat : 31442 (java) S 31440 31440 25111 0 -1 1077944320 17771 0 0 0 553 73 0 0 20 0 19 0 475605034 15787429888 192441 33554432000 4194304 4196468 140734687374720 140734687357264 139893433126647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
/proc/31442/statm: 3854353 192441 3499 1 0 3815453 0
[pid=31442/tid=31443] ppid=31440 vsize=15417412 memory=7162220282529210452 CPUtime=2.06 cores=0,2,4,6
/proc/31442/task/31443/stat : 31443 (java) S 31440 31440 25111 0 -1 1077944384 8822 0 0 0 199 7 0 0 20 0 19 0 475605035 15787429888 192441 33554432000 4194304 4196468 140734687374720 139893437367424 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31444] ppid=31440 vsize=15417412 memory=8028903636030023763 CPUtime=0.49 cores=0,2,4,6
/proc/31442/task/31444/stat : 31444 (java) S 31440 31440 25111 0 -1 1077944384 402 0 0 0 34 15 0 0 20 0 19 0 475605038 15787429888 192441 33554432000 4194304 4196468 140734687374720 139893024988048 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31445] ppid=31440 vsize=15417412 memory=8028903636030023763 CPUtime=0.48 cores=0,2,4,6
/proc/31442/task/31445/stat : 31445 (java) S 31440 31440 25111 0 -1 1077944384 443 0 0 0 33 15 0 0 20 0 19 0 475605038 15787429888 192441 33554432000 4194304 4196468 140734687374720 139893023935248 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31446] ppid=31440 vsize=15417412 memory=8028903636030023763 CPUtime=0.49 cores=0,2,4,6
/proc/31442/task/31446/stat : 31446 (java) S 31440 31440 25111 0 -1 1077944384 616 0 0 0 34 15 0 0 20 0 19 0 475605038 15787429888 192441 33554432000 4194304 4196468 140734687374720 139893022882960 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31447] ppid=31440 vsize=15417412 memory=8028903636030023763 CPUtime=0.48 cores=0,2,4,6
/proc/31442/task/31447/stat : 31447 (java) S 31440 31440 25111 0 -1 1077944384 718 0 0 0 33 15 0 0 20 0 19 0 475605038 15787429888 192441 33554432000 4194304 4196468 140734687374720 139893021830160 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31448] ppid=31440 vsize=15417412 memory=7597410278810675560 CPUtime=0.1 cores=0,2,4,6
/proc/31442/task/31448/stat : 31448 (java) S 31440 31440 25111 0 -1 1077944384 521 0 0 0 10 0 0 0 20 0 19 0 475605040 15787429888 192441 33554432000 4194304 4196468 140734687374720 139892901734512 139893433137794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31449] ppid=31440 vsize=15417412 memory=7307769272642916713 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31449/stat : 31449 (java) S 31440 31440 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475605040 15787429888 192441 33554432000 4194304 4196468 140734687374720 139892900680544 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31450] ppid=31440 vsize=15417412 memory=7307769272642916713 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31450/stat : 31450 (java) S 31440 31440 25111 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475605040 15787429888 192441 33554432000 4194304 4196468 140734687374720 139892899628160 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31451] ppid=31440 vsize=15417412 memory=6081383872907208017 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31451/stat : 31451 (java) S 31440 31440 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475605043 15787429888 192441 33554432000 4194304 4196468 140734687374720 139892898576464 139893433145243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31452] ppid=31440 vsize=15417412 memory=8028903636030023763 CPUtime=0.67 cores=0,2,4,6
/proc/31442/task/31452/stat : 31452 (java) S 31440 31440 25111 0 -1 1077944384 1341 0 0 0 67 0 0 0 20 0 19 0 475605043 15787429888 192441 33554432000 4194304 4196468 140734687374720 139892897524336 139893433137794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31453] ppid=31440 vsize=15417412 memory=8028903636030023763 CPUtime=0.73 cores=0,2,4,6
/proc/31442/task/31453/stat : 31453 (java) R 31440 31440 25111 0 -1 4202560 1355 0 0 0 73 0 0 0 20 0 19 0 475605043 15787429888 192441 33554432000 4194304 4196468 140734687374720 139892896471536 139893417028442 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31454] ppid=31440 vsize=15417412 memory=8028903636030023763 CPUtime=0.51 cores=0,2,4,6
/proc/31442/task/31454/stat : 31454 (java) S 31440 31440 25111 0 -1 1077944384 2074 0 0 0 50 1 0 0 20 0 19 0 475605043 15787429888 192441 33554432000 4194304 4196468 140734687374720 139892895414928 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31455] ppid=31440 vsize=15417412 memory=29968 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31455/stat : 31455 (java) S 31440 31440 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475605043 15787429888 192441 33554432000 4194304 4196468 140734687374720 139892894366688 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31456] ppid=31440 vsize=15417412 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31456/stat : 31456 (java) S 31440 31440 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475605043 15787429888 192441 33554432000 4194304 4196468 140734687374720 139892893313456 139893433137794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 771216 KiB
[startup+3.01032 s]*
/proc/loadavg: 6.47 7.02 7.20 10/237 31464
/proc/meminfo: memFree=23773172/32770624 swapFree=67002252/67108860
[pid=31440] ppid=31436 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31440/stat : 31440 (xcsp3-exec) S 31436 31440 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475605034 115843072 363 33554432000 4194304 5098028 140726502875472 140726502873576 140078791185020 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24944640 140726502884183 140726502884441 140726502884441 140726502887366 0
/proc/31440/statm: 28282 363 304 221 0 87 0
[pid=31442] ppid=31440 vsize=15417412 memory=778252 CPUtime=7.08 cores=0,2,4,6
/proc/31442/stat : 31442 (java) S 31440 31440 25111 0 -1 1077944320 18587 0 0 0 635 73 0 0 20 0 19 0 475605034 15787429888 194563 33554432000 4194304 4196468 140734687374720 140734687357264 139893433126647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
/proc/31442/statm: 3854353 194563 3501 1 0 3815453 0
[pid=31442/tid=31443] ppid=31440 vsize=15417412 memory=7883960649037381690 CPUtime=2.06 cores=0,2,4,6
/proc/31442/task/31443/stat : 31443 (java) S 31440 31440 25111 0 -1 1077944384 8822 0 0 0 199 7 0 0 20 0 19 0 475605035 15787429888 194563 33554432000 4194304 4196468 140734687374720 139893437367424 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31444] ppid=31440 vsize=15417412 memory=13620 CPUtime=0.49 cores=0,2,4,6
/proc/31442/task/31444/stat : 31444 (java) S 31440 31440 25111 0 -1 1077944384 402 0 0 0 34 15 0 0 20 0 19 0 475605038 15787429888 194563 33554432000 4194304 4196468 140734687374720 139893024988048 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31445] ppid=31440 vsize=15417412 memory=140291212126953 CPUtime=0.48 cores=0,2,4,6
/proc/31442/task/31445/stat : 31445 (java) S 31440 31440 25111 0 -1 1077944384 443 0 0 0 33 15 0 0 20 0 19 0 475605038 15787429888 194563 33554432000 4194304 4196468 140734687374720 139893023935248 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31446] ppid=31440 vsize=15417412 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/31442/task/31446/stat : 31446 (java) S 31440 31440 25111 0 -1 1077944384 616 0 0 0 34 15 0 0 20 0 19 0 475605038 15787429888 194563 33554432000 4194304 4196468 140734687374720 139893022882960 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31447] ppid=31440 vsize=15417412 memory=8679671643560370547 CPUtime=0.48 cores=0,2,4,6
/proc/31442/task/31447/stat : 31447 (java) S 31440 31440 25111 0 -1 1077944384 718 0 0 0 33 15 0 0 20 0 19 0 475605038 15787429888 194563 33554432000 4194304 4196468 140734687374720 139893021830160 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31448] ppid=31440 vsize=15417412 memory=3184238211284567728 CPUtime=0.1 cores=0,2,4,6
/proc/31442/task/31448/stat : 31448 (java) S 31440 31440 25111 0 -1 1077944384 521 0 0 0 10 0 0 0 20 0 19 0 475605040 15787429888 194563 33554432000 4194304 4196468 140734687374720 139892901734512 139893433137794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31449] ppid=31440 vsize=15417412 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31449/stat : 31449 (java) S 31440 31440 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475605040 15787429888 194563 33554432000 4194304 4196468 140734687374720 139892900680544 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31450] ppid=31440 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31450/stat : 31450 (java) S 31440 31440 25111 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475605040 15787429888 194563 33554432000 4194304 4196468 140734687374720 139892899628160 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31451] ppid=31440 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31451/stat : 31451 (java) S 31440 31440 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475605043 15787429888 194563 33554432000 4194304 4196468 140734687374720 139892898576464 139893433145243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31452] ppid=31440 vsize=15417412 memory=0 CPUtime=0.77 cores=0,2,4,6
/proc/31442/task/31452/stat : 31452 (java) R 31440 31440 25111 0 -1 4202560 1448 0 0 0 77 0 0 0 20 0 19 0 475605043 15787429888 194563 33554432000 4194304 4196468 140734687374720 139892897517376 139893412376009 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31453] ppid=31440 vsize=15417412 memory=-1 CPUtime=0.91 cores=0,2,4,6
/proc/31442/task/31453/stat : 31453 (java) R 31440 31440 25111 0 -1 4202560 1395 0 0 0 91 0 0 0 20 0 19 0 475605043 15787429888 194563 33554432000 4194304 4196468 140734687374720 139892896457680 139893417094527 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31454] ppid=31440 vsize=15417412 memory=142464730488193 CPUtime=0.56 cores=0,2,4,6
/proc/31442/task/31454/stat : 31454 (java) R 31440 31440 25111 0 -1 1077944384 2197 0 0 0 55 1 0 0 20 0 19 0 475605043 15787429888 194563 33554432000 4194304 4196468 140734687374720 139892895419248 139893433137794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31455] ppid=31440 vsize=15417412 memory=15514783743 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31455/stat : 31455 (java) S 31440 31440 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475605043 15787429888 194563 33554432000 4194304 4196468 140734687374720 139892894366688 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31456] ppid=31440 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31442/task/31456/stat : 31456 (java) S 31440 31440 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475605043 15787429888 194563 33554432000 4194304 4196468 140734687374720 139892893313456 139893433137794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31457] ppid=31440 vsize=15417412 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/31442/task/31457/stat : 31457 (java) S 31440 31440 25111 0 -1 1077944384 64 0 0 0 20 0 0 0 20 0 19 0 475605307 15787429888 194563 33554432000 4194304 4196468 140734687374720 139892884098352 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31458] ppid=31440 vsize=15417412 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/31442/task/31458/stat : 31458 (java) S 31440 31440 25111 0 -1 1077944384 75 0 0 0 13 0 0 0 20 0 19 0 475605307 15787429888 194563 33554432000 4194304 4196468 140734687374720 139892883047504 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31459] ppid=31440 vsize=15417412 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/31442/task/31459/stat : 31459 (java) S 31440 31440 25111 0 -1 1077944384 549 0 0 0 17 0 0 0 20 0 19 0 475605307 15787429888 194563 33554432000 4194304 4196468 140734687374720 139892881994704 139893433136853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
[pid=31442/tid=31460] ppid=31440 vsize=15417412 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/31442/task/31460/stat : 31460 (java) R 31440 31440 25111 0 -1 4202560 36 0 0 0 12 0 0 0 20 0 19 0 475605307 15787429888 194563 33554432000 4194304 4196468 140734687374720 139892880939304 139893075947592 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39116800 140734687380443 140734687380618 140734687380618 140734687383503 0
Current children cumulated CPU time: 7.08 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 779704 KiB
Child status: 0
Real time (s): 3.06591
CPU time (s): 7.14945
CPU user time (s): 6.40455
CPU system time (s): 0.744907
CPU usage (%): 233.192
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 779704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.40455
system time used= 0.744907
maximum resident set size= 779496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19237
page faults= 0
swaps= 0
block input operations= 16
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2356
involuntary context switches= 78
# summary of solver processes directly reported to runsolver:
# pid: 31440
# total CPU time (s): 7.14945
# total CPU user time (s): 6.40455
# total CPU system time (s): 0.744907
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038268 second user time and 0.084961 second system time
The end